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 55275 f08422eeef24
parent 48880 ea0c337066d9
child 59250 727dff4f6b2c 
     1.1 --- a/src/Tools/isac/Interpret/Interpret.thy	Thu Nov 21 09:18:22 2013 +0100
     1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy	Thu Nov 21 11:17:42 2013 +0100
     1.3 @@ -5,28 +5,16 @@
     1.4  
     1.5  theory Interpret
     1.6  imports "~~/src/Tools/isac/ProgLang/ProgLang"
     1.7 -uses 
     1.8 -  ("~~/src/Tools/isac/Interpret/mstools.sml") 
     1.9 -  ("~~/src/Tools/isac/Interpret/ctree.sml") 
    1.10 -  ("~~/src/Tools/isac/Interpret/ptyps.sml") 
    1.11 -  ("~~/src/Tools/isac/Interpret/generate.sml")
    1.12 -  ("~~/src/Tools/isac/Interpret/calchead.sml") 
    1.13 -  ("~~/src/Tools/isac/Interpret/appl.sml") 
    1.14 -  ("~~/src/Tools/isac/Interpret/rewtools.sml") 
    1.15 -  ("~~/src/Tools/isac/Interpret/script.sml")
    1.16 -  ("~~/src/Tools/isac/Interpret/solve.sml") 
    1.17 -  ("~~/src/Tools/isac/Interpret/inform.sml") 
    1.18 -  ("~~/src/Tools/isac/Interpret/mathengine.sml")
    1.19  begin
    1.20 -  use "~~/src/Tools/isac/Interpret/mstools.sml"
    1.21 -  use "~~/src/Tools/isac/Interpret/ctree.sml"
    1.22 -  use "~~/src/Tools/isac/Interpret/ptyps.sml"
    1.23 -  use "~~/src/Tools/isac/Interpret/generate.sml"
    1.24 -  use "~~/src/Tools/isac/Interpret/calchead.sml"
    1.25 -  use "~~/src/Tools/isac/Interpret/appl.sml"
    1.26 -  use "~~/src/Tools/isac/Interpret/rewtools.sml"
    1.27 -  use "~~/src/Tools/isac/Interpret/script.sml"
    1.28 -  use "~~/src/Tools/isac/Interpret/solve.sml"
    1.29 -  use "~~/src/Tools/isac/Interpret/inform.sml"
    1.30 -  use "~~/src/Tools/isac/Interpret/mathengine.sml"
    1.31 +  ML_file "~~/src/Tools/isac/Interpret/mstools.sml"
    1.32 +  ML_file "~~/src/Tools/isac/Interpret/ctree.sml"
    1.33 +  ML_file "~~/src/Tools/isac/Interpret/ptyps.sml"
    1.34 +  ML_file "~~/src/Tools/isac/Interpret/generate.sml"
    1.35 +  ML_file "~~/src/Tools/isac/Interpret/calchead.sml"
    1.36 +  ML_file "~~/src/Tools/isac/Interpret/appl.sml"
    1.37 +  ML_file "~~/src/Tools/isac/Interpret/rewtools.sml"
    1.38 +  ML_file "~~/src/Tools/isac/Interpret/script.sml"
    1.39 +  ML_file "~~/src/Tools/isac/Interpret/solve.sml"
    1.40 +  ML_file "~~/src/Tools/isac/Interpret/inform.sml"
    1.41 +  ML_file "~~/src/Tools/isac/Interpret/mathengine.sml"
    1.42  end
    1.43 \ No newline at end of file
wneuper/isa