neuper@41905: (* Title:  collect all defitions for the Lucas-Interpreter
neuper@41905:    Author: Walther Neuper 110226
neuper@41905:    (c) due to copyright terms
neuper@41905:  *)
neuper@41905: 
neuper@48761: theory Interpret
neuper@48880: imports "~~/src/Tools/isac/ProgLang/ProgLang"
neuper@41905: begin
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/mstools.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/ctree.sml"
wneuper@59279: 
wneuper@59279: 
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/ptyps.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/generate.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/calchead.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/appl.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/rewtools.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/script.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/solve.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/inform.sml"
neuper@55275:   ML_file "~~/src/Tools/isac/Interpret/mathengine.sml"
wneuper@59263: (*declare [[ML_print_depth = 999]]*)
wneuper@59250: ML {*
wneuper@59250: *} ML {*
wneuper@59250: *}
neuper@41905: end