branch | decompose-isar |
changeset 41943 | f33f6959948b |
parent 41905 | b772eb34c16c |
child 48761 | 4162c4f6f897 |
1.1 --- a/src/Tools/isac/Interpret/Interpret.thy Sat Mar 19 15:18:10 2011 +0100 1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy Wed Mar 23 17:20:39 2011 +0100 1.3 @@ -3,7 +3,7 @@ 1.4 (c) due to copyright terms 1.5 *) 1.6 1.7 -theory Interpret imports Language 1.8 +theory Interpret imports ProgLang 1.9 uses ("mstools.sml") ("ctree.sml") ("ptyps.sml") ("generate.sml") 1.10 ("calchead.sml") ("appl.sml") ("rewtools.sml") ("script.sml") 1.11 ("solve.sml") ("inform.sml") ("mathengine.sml")