changeset 59790 | a1944acd8dcf |
parent 59748 | f446e732cb00 |
child 59814 | 665dd868d4e2 |
1.1 --- a/src/Tools/isac/Interpret/Interpret.thy Tue Feb 04 16:45:36 2020 +0100 1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy Tue Feb 04 17:11:54 2020 +0100 1.3 @@ -9,7 +9,7 @@ 1.4 (* removed all warnings here, only "handle _" remains *) 1.5 ML_file istate.sml 1.6 ML_file rewtools.sml 1.7 - ML_file script.sml 1.8 + ML_file "li-tool.sml" 1.9 ML_file inform.sml 1.10 ML_file "lucas-interpreter.sml" 1.11 ML_file "step-solve.sml"