equal
deleted
inserted
replaced
64 *) "Specify/Specify" |
64 *) "Specify/Specify" |
65 (* |
65 (* |
66 theory Interpret imports "~~/src/Tools/isac/Specify/Specify" |
66 theory Interpret imports "~~/src/Tools/isac/Specify/Specify" |
67 ML_file istate.sml |
67 ML_file istate.sml |
68 ML_file rewtools.sml |
68 ML_file rewtools.sml |
69 ML_file script.sml |
69 ML_file "li-tool.sml" |
70 ML_file inform.sml |
70 ML_file inform.sml |
71 ML_file "lucas-interpreter.sml" |
71 ML_file "lucas-interpreter.sml" |
|
72 ML_file "step-solve.sml" |
72 *) "Interpret/Interpret" |
73 *) "Interpret/Interpret" |
73 (* |
74 (* |
74 theory MathEngine imports "~~/src/Tools/isac/Interpret/Interpret" |
75 theory MathEngine imports "~~/src/Tools/isac/Interpret/Interpret" |
75 ML_file solve.sml |
76 ML_file solve.sml |
|
77 ML_file step.sml |
76 ML_file "mathengine-stateless.sml" |
78 ML_file "mathengine-stateless.sml" |
77 ML_file messages.sml |
79 ML_file messages.sml |
78 ML_file states.sml |
80 ML_file states.sml |
79 *) "MathEngine/MathEngine" |
81 *) "MathEngine/MathEngine" |
80 (* |
82 (* |