equal
deleted
inserted
replaced
7 imports "~~/src/Tools/isac/Specify/Specify" |
7 imports "~~/src/Tools/isac/Specify/Specify" |
8 begin |
8 begin |
9 (* removed all warnings here, only "handle _" remains *) |
9 (* removed all warnings here, only "handle _" remains *) |
10 ML_file istate.sml |
10 ML_file istate.sml |
11 ML_file rewtools.sml |
11 ML_file rewtools.sml |
12 ML_file script.sml |
12 ML_file "li-tool.sml" |
13 ML_file inform.sml |
13 ML_file inform.sml |
14 ML_file "lucas-interpreter.sml" |
14 ML_file "lucas-interpreter.sml" |
15 ML_file "step-solve.sml" |
15 ML_file "step-solve.sml" |
16 ML \<open> |
16 ML \<open> |
17 \<close> ML \<open> |
17 \<close> ML \<open> |