1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Fri Jan 06 10:50:33 2023 +0100
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Fri Jan 06 11:32:57 2023 +0100
1.3 @@ -297,10 +297,8 @@
1.4 ML_file "MathEngine/messages.sml"
1.5 ML_file "MathEngine/states.sml"
1.6
1.7 - ML_file "BridgeLibisabelle/thy-present.sml"
1.8 ML_file "BridgeLibisabelle/mathml.sml" (*part.*)
1.9 ML_file "BridgeLibisabelle/pbl-met-hierarchy.sml"
1.10 - ML_file "BridgeLibisabelle/thy-hierarchy.sml"
1.11 ML_file "BridgeLibisabelle/interface-xml.sml" (*TODO after 2009-2*)
1.12 ML_file "BridgeLibisabelle/interface.sml"
1.13
1.14 @@ -348,7 +346,6 @@
1.15 (*ML_file "Knowledge/inverse_z_transform.sml"hangs with ML_system_64 = "true"---Test_Isac_Short*)
1.16 ML_file "Knowledge/inssort.sml"
1.17 ML_file "Knowledge/isac.sml"
1.18 - ML_file "Knowledge/build_thydata.sml"
1.19
1.20 ML_file "Test_Code/test-code.sml"
1.21