changeset 60556 | 486223010ea8 |
parent 60521 | 23c40bb1bdbf |
child 60558 | 2350ba2640fd |
1.1 --- a/test/Tools/isac/Test_Isac.thy Fri Sep 16 12:13:23 2022 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Mon Sep 26 10:57:53 2022 +0200 1.3 @@ -295,6 +295,7 @@ 1.4 ML_file "Knowledge/diff.sml" 1.5 ML_file "Knowledge/integrate.sml" 1.6 ML_file "Knowledge/eqsystem-1.sml" 1.7 + ML_file "Knowledge/eqsystem-1a.sml" 1.8 ML_file "Knowledge/eqsystem-2.sml" 1.9 ML_file "Knowledge/test.sml" 1.10 ML_file "Knowledge/polyminus.sml"