Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Interpret/Interpret.thy
changeset 48880 ea0c337066d9
parent 48761 4162c4f6f897
child 55275 f08422eeef24 
     1.1 --- a/src/Tools/isac/Interpret/Interpret.thy	Fri Jun 14 15:46:09 2013 +0200
     1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy	Sun Jun 16 12:31:41 2013 +0200
     1.3 @@ -4,22 +4,29 @@
     1.4   *)
     1.5  
     1.6  theory Interpret
     1.7 -imports "../ProgLang/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 +imports "~~/src/Tools/isac/ProgLang/ProgLang"
    1.12 +uses 
    1.13 +  ("~~/src/Tools/isac/Interpret/mstools.sml") 
    1.14 +  ("~~/src/Tools/isac/Interpret/ctree.sml") 
    1.15 +  ("~~/src/Tools/isac/Interpret/ptyps.sml") 
    1.16 +  ("~~/src/Tools/isac/Interpret/generate.sml")
    1.17 +  ("~~/src/Tools/isac/Interpret/calchead.sml") 
    1.18 +  ("~~/src/Tools/isac/Interpret/appl.sml") 
    1.19 +  ("~~/src/Tools/isac/Interpret/rewtools.sml") 
    1.20 +  ("~~/src/Tools/isac/Interpret/script.sml")
    1.21 +  ("~~/src/Tools/isac/Interpret/solve.sml") 
    1.22 +  ("~~/src/Tools/isac/Interpret/inform.sml") 
    1.23 +  ("~~/src/Tools/isac/Interpret/mathengine.sml")
    1.24  begin
    1.25 -
    1.26 -  use "mstools.sml"
    1.27 -  use "ctree.sml"
    1.28 -  use "ptyps.sml"
    1.29 -  use "generate.sml"
    1.30 -  use "calchead.sml"
    1.31 -  use "appl.sml"
    1.32 -  use "rewtools.sml"
    1.33 -  use "script.sml"
    1.34 -  use "solve.sml"
    1.35 -  use "inform.sml"
    1.36 -  use "mathengine.sml"
    1.37 -
    1.38 +  use "~~/src/Tools/isac/Interpret/mstools.sml"
    1.39 +  use "~~/src/Tools/isac/Interpret/ctree.sml"
    1.40 +  use "~~/src/Tools/isac/Interpret/ptyps.sml"
    1.41 +  use "~~/src/Tools/isac/Interpret/generate.sml"
    1.42 +  use "~~/src/Tools/isac/Interpret/calchead.sml"
    1.43 +  use "~~/src/Tools/isac/Interpret/appl.sml"
    1.44 +  use "~~/src/Tools/isac/Interpret/rewtools.sml"
    1.45 +  use "~~/src/Tools/isac/Interpret/script.sml"
    1.46 +  use "~~/src/Tools/isac/Interpret/solve.sml"
    1.47 +  use "~~/src/Tools/isac/Interpret/inform.sml"
    1.48 +  use "~~/src/Tools/isac/Interpret/mathengine.sml"
    1.49  end
    1.50 \ No newline at end of file
wneuper/isa