1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri Jan 06 10:50:33 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.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