changeset 60044 | 004bbb5d4417 |
parent 60040 | a05df90c0dee |
child 60063 | f63c28616326 |
1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Sat Aug 01 13:54:53 2020 +0200 1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Sun Aug 02 12:32:34 2020 +0200 1.3 @@ -281,6 +281,8 @@ 1.4 (*WITHOUT inhibit exn WN1130621 Isabelle2012-->13 !thehier! THIS ERROR OCCURS: 1.5 ... SAME ERROR HERE ON ISABELLE2012 AS IN ISAC ON ISABELLE2011*) 1.6 1.7 + ML_file "BridgeJEdit/parseC.sml" 1.8 + 1.9 ML_file "Knowledge/delete.sml" 1.10 ML_file "Knowledge/descript.sml" 1.11 ML_file "Knowledge/simplify.sml"