src/FOL/blastdata.ML

--- a/src/FOL/blastdata.ML	Fri Nov 10 16:31:28 2000 +0100
+++ b/src/FOL/blastdata.ML	Fri Nov 10 19:00:22 2000 +0100
@@ -10,7 +10,7 @@
   val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
   val claset	= Cla.claset
   val rep_cs    = Cla.rep_cs
-  val atomize	= thms "atomize"
+  val atomize	= thms "atomize'"
   val cla_modifiers = Cla.cla_modifiers;
   val cla_meth' = Cla.cla_meth'
   end;