1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy Tue Mar 01 15:23:59 2011 +0100
1.3 @@ -0,0 +1,24 @@
1.4 +(* Title: collect all defitions for the Lucas-Interpreter
1.5 + Author: Walther Neuper 110226
1.6 + (c) due to copyright terms
1.7 + *)
1.8 +
1.9 +theory Interpret imports Language
1.10 + uses ("mstools.sml") ("ctree.sml") ("ptyps.sml") ("generate.sml")
1.11 + ("calchead.sml") ("appl.sml") ("rewtools.sml") ("script.sml")
1.12 + ("solve.sml") ("inform.sml") ("mathengine.sml")
1.13 +begin
1.14 +
1.15 + use "mstools.sml"
1.16 + use "ctree.sml"
1.17 + use "ptyps.sml"
1.18 + use "generate.sml"
1.19 + use "calchead.sml"
1.20 + use "appl.sml"
1.21 + use "rewtools.sml"
1.22 + use "script.sml"
1.23 + use "solve.sml"
1.24 + use "inform.sml"
1.25 + use "mathengine.sml"
1.26 +
1.27 +end
1.28 \ No newline at end of file