1.1 --- a/src/Tools/isac/Isac_Mathengine.thy	Thu Aug 19 15:41:56 2010 +0200
     1.2 +++ b/src/Tools/isac/Isac_Mathengine.thy	Fri Aug 20 12:25:37 2010 +0200
     1.3 @@ -39,16 +39,16 @@
     1.4  
     1.5  
     1.6  ML {*
     1.7 -thy2ctxt;
     1.8 -thy2ctxt';
     1.9 -SOME 111;
    1.10 +111;
    1.11 +member op = [1,2,3] 2;
    1.12  *}
    1.13  
    1.14  use "ME/calchead.sml"
    1.15  
    1.16  ML {*
    1.17 -thy2ctxt;
    1.18 -SOME 111;
    1.19 +theory2theory';
    1.20 +(assoc_thy "Script");
    1.21 +(assoc_thy "Script.thy");
    1.22  *}
    1.23  
    1.24  (*