changeset 59936 | 554030065b5b |
parent 59920 | 33913fe24685 |
child 59941 | 602bf61dc6df |
1.1 --- a/test/Tools/isac/Test_Isac.thy Mon May 04 12:38:16 2020 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Mon May 04 13:27:45 2020 +0200 1.3 @@ -242,7 +242,6 @@ 1.4 ML \<open>(*check_unsynchronized_ref (); ==== trick on error: CUT AND PASTE THIS LINE =========*)\<close> 1.5 ML_file "Specify/generate.sml" 1.6 ML_file "Specify/calchead.sml" 1.7 - ML_file "Specify/appl.sml" (*complete "WEGEN INTERMED TESTCODE" *) 1.8 ML_file "Specify/step-specify.sml" 1.9 ML_file "Specify/specify.sml" 1.10