1.1 --- a/src/Tools/isac/IsacKnowledge/Typefix.thy	Tue Aug 24 11:46:09 2010 +0200
     1.2 +++ b/src/Tools/isac/IsacKnowledge/Typefix.thy	Tue Aug 24 12:18:27 2010 +0200
     1.3 @@ -17,6 +17,31 @@
     1.4  ("../FE-interface/states.sml") ("../FE-interface/interface.sml")
     1.5  ("../print_exn_G.sml")
     1.6  begin
     1.7 +use "../Scripts/scrtools.sml"
     1.8 +
     1.9 +use "../ME/mstools.sml"
    1.10 +use "../ME/ctree.sml"
    1.11 +use "../ME/ptyps.sml"
    1.12 +use "../ME/generate.sml"
    1.13 +use "../ME/calchead.sml"
    1.14 +use "../ME/appl.sml"
    1.15 +use "../ME/rewtools.sml"
    1.16 +use "../ME/script.sml"
    1.17 +use "../ME/solve.sml"
    1.18 +use "../ME/inform.sml"
    1.19 +use "../ME/mathengine.sml"
    1.20 +
    1.21 +use "../xmlsrc/mathml.sml"
    1.22 +use "../xmlsrc/datatypes.sml"
    1.23 +use "../xmlsrc/pbl-met-hierarchy.sml"
    1.24 +use "../xmlsrc/thy-hierarchy.sml" 
    1.25 +use "../xmlsrc/interface-xml.sml"
    1.26 +
    1.27 +use "../FE-interface/messages.sml"
    1.28 +use "../FE-interface/states.sml"
    1.29 +use "../FE-interface/interface.sml"
    1.30 +
    1.31 +use "../print_exn_G.sml"
    1.32  
    1.33  syntax
    1.34