1.1 --- a/src/Tools/isac/Isac_Mathengine.thy	Mon Aug 16 16:36:19 2010 +0200
     1.2 +++ b/src/Tools/isac/Isac_Mathengine.thy	Tue Aug 17 09:05:51 2010 +0200
     1.3 @@ -26,14 +26,14 @@
     1.4  
     1.5  use "Scripts/term_G.sml"
     1.6  use "Scripts/calculate.sml"
     1.7 -
     1.8  use "Scripts/rewrite.sml"
     1.9  use_thy"Scripts/Script"
    1.10 -
    1.11  use "Scripts/scrtools.sml"
    1.12  
    1.13 +use "ME/mstools.sml"
    1.14 +
    1.15 +
    1.16  (*
    1.17 -use "ME/mstools.sml"
    1.18  use "ME/ctree.sml"
    1.19  use "ME/ptyps.sml"
    1.20  use "ME/generate.sml"