Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Build_Isac.thy
changeset 60608 5dabcc1c9235
parent 60602 a84cb16db4fa
child 60609 5967b6e610b5 
     1.1 --- a/src/Tools/isac/Build_Isac.thy	Sat Dec 03 19:12:38 2022 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun Dec 04 16:48:06 2022 +0100
     1.3 @@ -177,6 +177,7 @@
     1.4    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/200-start-method.sml"
     1.5    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method-NEXT_STEP.sml"
     1.6    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/250-Rewrite_Set-from-method.sml"
     1.7 +  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/300-init-subpbl-NEXT_STEP.sml"
     1.8  ML \<open>
     1.9  \<close> ML \<open>
    1.10  \<close> ML \<open>
    1.11 @@ -187,7 +188,6 @@
    1.12  \<close> ML \<open>
    1.13  \<close> 
    1.14  (*/------- outcomment in order to intermediately check with Test_Isac.thy ------------\(**)
    1.15 -  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/300-init-subpbl-NEXT_STEP.sml"
    1.16    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/300-init-subpbl.sml"
    1.17    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/400-start-meth-subpbl.sml"
    1.18    ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Minisubpbl/450-Rewrite_Set_Inst.sml"
wneuper/isa