src/HOL/cladata.ML

--- a/src/HOL/cladata.ML	Fri Nov 10 16:31:28 2000 +0100
+++ b/src/HOL/cladata.ML	Fri Nov 10 19:00:22 2000 +0100
@@ -47,7 +47,7 @@
   val classical = classical
   val sizef     = size_of_thm
   val hyp_subst_tacs=[hyp_subst_tac]
-  val atomize	= thms "atomize"
+  val atomize	= thms "atomize'"
   end;
 
 structure Classical = ClassicalFun(Classical_Data);