1.1 --- a/src/Tools/isac/Knowledge/Atools.thy	Thu Sep 09 09:58:28 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Atools.thy	Thu Sep 09 13:31:36 2010 +0200
     1.3 @@ -11,7 +11,8 @@
     1.4  ("Interpret/generate.sml")("Interpret/calchead.sml")("Interpret/appl.sml")
     1.5  ("Interpret/rewtools.sml")("Interpret/script.sml")("Interpret/solve.sml")
     1.6  ("Interpret/inform.sml")("Interpret/mathengine.sml")
     1.7 -
     1.8 +("xmlsrc/mathml.sml")("xmlsrc/datatypes.sml")("xmlsrc/pbl-met-hierarchy.sml")
     1.9 +("xmlsrc/thy-hierarchy.sml")("xmlsrc/interface-xml.sml")
    1.10  begin
    1.11  use "Interpret/mstools.sml"
    1.12  use "Interpret/ctree.sml"
    1.13 @@ -25,6 +26,12 @@
    1.14  use "Interpret/inform.sml"  (*^^^ need files for: fun castab*)
    1.15  use "Interpret/mathengine.sml"
    1.16  
    1.17 +use "xmlsrc/mathml.sml"
    1.18 +use "xmlsrc/datatypes.sml"
    1.19 +use "xmlsrc/pbl-met-hierarchy.sml"
    1.20 +use "xmlsrc/thy-hierarchy.sml" (*^^^ need files for: fun store_isa*)
    1.21 +use "xmlsrc/interface-xml.sml"
    1.22 +
    1.23  consts
    1.24  
    1.25    Arbfix           :: "real"