equal
deleted
inserted
replaced
15 ML_file "~~/src/Tools/isac/Interpret/rewtools.sml" |
15 ML_file "~~/src/Tools/isac/Interpret/rewtools.sml" |
16 ML_file "~~/src/Tools/isac/Interpret/script.sml" |
16 ML_file "~~/src/Tools/isac/Interpret/script.sml" |
17 ML_file "~~/src/Tools/isac/Interpret/solve.sml" |
17 ML_file "~~/src/Tools/isac/Interpret/solve.sml" |
18 ML_file "~~/src/Tools/isac/Interpret/inform.sml" |
18 ML_file "~~/src/Tools/isac/Interpret/inform.sml" |
19 ML_file "~~/src/Tools/isac/Interpret/mathengine.sml" |
19 ML_file "~~/src/Tools/isac/Interpret/mathengine.sml" |
|
20 (*declare [[ML_print_depth = 999]]*) |
20 ML {* |
21 ML {* |
21 *} ML {* |
22 *} ML {* |
22 *} |
23 *} |
23 end |
24 end |