
diff -r b65c6037eb6d -r 56f10b13005e src/Tools/isac/Isac_Mathengine.thy
--- a/src/Tools/isac/Isac_Mathengine.thy	Thu Aug 19 15:41:56 2010 +0200
+++ b/src/Tools/isac/Isac_Mathengine.thy	Fri Aug 20 12:25:37 2010 +0200
@@ -39,16 +39,16 @@
 
 
 ML {*
-thy2ctxt;
-thy2ctxt';
-SOME 111;
+111;
+member op = [1,2,3] 2;
 *}
 
 use "ME/calchead.sml"
 
 ML {*
-thy2ctxt;
-SOME 111;
+theory2theory';
+(assoc_thy "Script");
+(assoc_thy "Script.thy");
 *}
 
 (*




