| author | Walther Neuper <walther.neuper@jku.at> |
| Sat, 02 May 2020 17:39:04 +0200 | |
| changeset 59931 | cc5b51681c4b |
| parent 59920 | 33913fe24685 |
| child 59933 | 92214be419b2 |
| 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 ptyps.sml
11 ML_file generate.sml
12 ML_file calchead.sml
13 ML_file "input-calchead.sml"
14 ML_file appl.sml
15 ML_file "specify-step.sml"
16 ML_file "step-specify.sml"
17 ML_file specify.sml
19 ML \<open>
20 \<close> text \<open>
21 State_Steps.T
22 \<close> ML \<open>
23 \<close>
24 end