1.1 --- a/src/Tools/isac/Isac_Mathengine.thy	Wed Aug 18 16:03:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Isac_Mathengine.thy	Thu Aug 19 12:00:46 2010 +0200
     1.3 @@ -35,16 +35,15 @@
     1.4  use "ME/mstools.sml"
     1.5  use "ME/ctree.sml"
     1.6  use "ME/ptyps.sml"
     1.7 -
     1.8 +use "ME/generate.sml"
     1.9  
    1.10  ML {*
    1.11 -member;
    1.12 -@{term 111};
    1.13 +thy2ctxt;
    1.14  *}
    1.15  
    1.16  
    1.17 +
    1.18  (*
    1.19 -use "ME/generate.sml"
    1.20  use "ME/calchead.sml"
    1.21  use "ME/appl.sml"
    1.22  use "ME/rewtools.sml"