changeset 59965 | 0763aec4c5b6 |
parent 59959 | 0f0718c61f68 |
child 59967 | f83918acd7d7 |
1.1 --- a/test/Tools/isac/Test_Isac.thy Mon May 11 18:06:24 2020 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Mon May 11 20:49:27 2020 +0200 1.3 @@ -232,7 +232,7 @@ 1.4 ML_file "MathEngBasic/thmC.sml" 1.5 ML_file "MathEngBasic/rewrite.sml" 1.6 ML_file "MathEngBasic/model.sml" 1.7 - ML_file "MathEngBasic/mstools.sml" 1.8 +(*ML_file "MathEngBasic/mstools.sml"*) 1.9 ML_file "MathEngBasic/tactic.sml" 1.10 ML_file "MathEngBasic/ctree.sml" 1.11 ML_file "MathEngBasic/calculation.sml"