1.1 --- a/src/Tools/isac/Build_Isac.thy	Sat Nov 19 17:00:59 2022 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun Nov 20 08:40:46 2022 +0100
     1.3 @@ -175,6 +175,8 @@
     1.4    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/150-add-given-Equation.sml"
     1.5    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml"
     1.6    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/200-start-method.sml"
     1.7 +  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method-NEXT_STEP.sml"
     1.8 +  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method.sml"
     1.9  ML \<open>
    1.10  \<close> ML \<open>
    1.11  \<close> ML \<open>
    1.12 @@ -185,7 +187,6 @@
    1.13  \<close> ML \<open>
    1.14  \<close> 
    1.15  (*/------- outcomment in order to intermediately check with Test_Isac.thy ------------\(**)
    1.16 -  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method.sml"
    1.17    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/300-init-subpbl-NEXT_STEP.sml"
    1.18    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/300-init-subpbl.sml"
    1.19    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/400-start-meth-subpbl.sml"