src/HOL/Tools/simpdata.ML

--- a/src/HOL/Tools/simpdata.ML	Fri May 13 16:03:03 2011 +0200
+++ b/src/HOL/Tools/simpdata.ML	Fri May 13 22:55:00 2011 +0200
@@ -163,9 +163,6 @@
 );
 open Clasimp;
 
-val _ = ML_Antiquote.value "clasimpset"
-  (Scan.succeed "Clasimp.clasimpset_of (ML_Context.the_local_context ())");
-
 val mksimps_pairs =
  [(@{const_name HOL.implies}, [@{thm mp}]),
   (@{const_name HOL.conj}, [@{thm conjunct1}, @{thm conjunct2}]),