--- a/src/FOL/simpdata.ML Fri May 13 16:03:03 2011 +0200
+++ b/src/FOL/simpdata.ML Fri May 13 22:55:00 2011 +0200
@@ -142,6 +142,3 @@
);
open Clasimp;
-ML_Antiquote.value "clasimpset"
- (Scan.succeed "Clasimp.clasimpset_of (ML_Context.the_local_context ())");
-