| author | Walther Neuper <neuper@ist.tugraz.at> |
| Wed, 23 Mar 2011 17:20:39 +0100 | |
| branch | decompose-isar |
| changeset 41943 | f33f6959948b |
| parent 41905 | b772eb34c16c |
| child 48761 | 4162c4f6f897 |
| permissions | -rw-r--r-- |
| neuper@41905 | 1 |
(* Title: collect all defitions for the Lucas-Interpreter |
| neuper@41905 | 2 |
Author: Walther Neuper 110226 |
| neuper@41905 | 3 |
(c) due to copyright terms |
| neuper@41905 | 4 |
*) |
| neuper@41905 | 5 |
|
| neuper@41943 | 6 |
theory Interpret imports ProgLang |
| neuper@41905 | 7 |
uses ("mstools.sml") ("ctree.sml") ("ptyps.sml") ("generate.sml")
|
| neuper@41905 | 8 |
("calchead.sml") ("appl.sml") ("rewtools.sml") ("script.sml")
|
| neuper@41905 | 9 |
("solve.sml") ("inform.sml") ("mathengine.sml")
|
| neuper@41905 | 10 |
begin |
| neuper@41905 | 11 |
|
| neuper@41905 | 12 |
use "mstools.sml" |
| neuper@41905 | 13 |
use "ctree.sml" |
| neuper@41905 | 14 |
use "ptyps.sml" |
| neuper@41905 | 15 |
use "generate.sml" |
| neuper@41905 | 16 |
use "calchead.sml" |
| neuper@41905 | 17 |
use "appl.sml" |
| neuper@41905 | 18 |
use "rewtools.sml" |
| neuper@41905 | 19 |
use "script.sml" |
| neuper@41905 | 20 |
use "solve.sml" |
| neuper@41905 | 21 |
use "inform.sml" |
| neuper@41905 | 22 |
use "mathengine.sml" |
| neuper@41905 | 23 |
|
| neuper@41905 | 24 |
end |