| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 04 May 2020 16:47:32 +0200 | |
| changeset 59938 | 46b6479cefa7 |
| parent 59937 | c3f3123e8fbc |
| child 59941 | 602bf61dc6df |
| permissions | -rw-r--r-- |
1 (* Title: collect all defitions for the Lucas-Interpreter
2 Author: Walther Neuper 110226
3 (c) due to copyright terms
4 *)
6 theory Specify
7 imports "~~/src/Tools/isac/MathEngBasic/MathEngBasic"
8 begin
9 (* removed all warnings here, only "handle _" remains *)
10 ML_file "o-model.sml"
11 ML_file "i-model.sml"
12 ML_file "model.sml"
13 ML_file "mstools.sml"
14 ML_file ptyps.sml
15 ML_file generate.sml
16 ML_file "specify-step.sml"
17 ML_file calchead.sml
18 ML_file "input-calchead.sml"
19 ML_file "step-specify.sml"
20 ML_file specify.sml
22 ML \<open>
23 \<close> ML \<open>
24 \<close> ML \<open>
25 \<close>
26 end