1.1 --- a/src/Tools/isac/Interpret/Interpret.thy Fri Oct 12 16:03:07 2012 +0200
1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy Fri Oct 12 17:06:58 2012 +0200
1.3 @@ -3,10 +3,11 @@
1.4 (c) due to copyright terms
1.5 *)
1.6
1.7 -theory Interpret imports ProgLang
1.8 - uses ("mstools.sml") ("ctree.sml") ("ptyps.sml") ("generate.sml")
1.9 - ("calchead.sml") ("appl.sml") ("rewtools.sml") ("script.sml")
1.10 - ("solve.sml") ("inform.sml") ("mathengine.sml")
1.11 +theory Interpret
1.12 +imports "../ProgLang/ProgLang"
1.13 +uses ("mstools.sml") ("ctree.sml") ("ptyps.sml") ("generate.sml")
1.14 + ("calchead.sml") ("appl.sml") ("rewtools.sml") ("script.sml")
1.15 + ("solve.sml") ("inform.sml") ("mathengine.sml")
1.16 begin
1.17
1.18 use "mstools.sml"