equal
deleted
inserted
replaced
2 Author: Walther Neuper 110226 |
2 Author: Walther Neuper 110226 |
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 *) |
4 *) |
5 |
5 |
6 theory MathEngine |
6 theory MathEngine |
7 imports "~~/src/Tools/isac/Interpret/Interpret" |
7 imports "~~/src/Tools/isac/Interpret/Interpret" |
|
8 |
8 begin |
9 begin |
9 ML_file solve.sml |
10 ML_file solve.sml |
10 ML_file "mathengine-stateless.sml" |
11 ML_file "mathengine-stateless.sml" |
11 ML_file messages.sml |
12 ML_file messages.sml |
12 ML_file states.sml |
13 ML_file states.sml |