author | Walther Neuper <walther.neuper@jku.at> |
Wed, 18 Dec 2019 15:33:27 +0100 | |
changeset 59747 | 8e5335c63475 |
parent 59674 | 3da177a07c3e |
child 59763 | 1f2b170f1cc7 |
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 "step-specify.sml"
14 ML_file appl.sml
16 ML \<open>
17 \<close> ML \<open>
18 \<close> ML \<open>
19 \<close>
20 end