src/FOL/cladata.ML
changeset 10429 8820f787e61e
parent 10383 a092ae7bb2a6
child 10906 de95ba2760fe
--- a/src/FOL/cladata.ML	Fri Nov 10 16:31:28 2000 +0100
+++ b/src/FOL/cladata.ML	Fri Nov 10 19:00:22 2000 +0100
@@ -24,7 +24,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 Cla = ClassicalFun(Classical_Data);