src/HOL/blastdata.ML

   val contr_tac = Classical.contr_tac
   val dup_intr	= Classical.dup_intr
   val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
   val claset	= Classical.claset
   val rep_cs    = Classical.rep_cs
-  val atomize	= thms "atomize"
+  val atomize	= thms "atomize'"
   val cla_modifiers = Classical.cla_modifiers;
   val cla_meth' = Classical.cla_meth'
   end;
 
 structure Blast = BlastFun(Blast_Data);