changeset 52112 | ff97b0422abb |
parent 52106 | 7f3760f39bdc |
child 52116 | 498524cb8f44 |
1.1 --- a/test/Tools/isac/Test_Isac.thy Tue Sep 17 18:00:59 2013 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Tue Sep 17 18:59:56 2013 +0200 1.3 @@ -97,6 +97,7 @@ 1.4 ML_file "Frontend/messages.sml" 1.5 ML_file "Frontend/states.sml" 1.6 ML_file "Frontend/interface.sml" 1.7 + ML_file "Frontend/use-cases.sml" 1.8 (*WITHOUT inhibit exn WN1130621 Isabelle2012-->13 !thehier! THIS ERROR OCCURS: 1.9 ... SAME ERROR HERE ON ISABELLE2012 AS IN ISAC ON ISABELLE2011*) 1.10 ML_file "print_exn_G.sml"