src/FOL/blastdata.ML
changeset 10429 8820f787e61e
parent 9561 714ad541a133
child 10906 de95ba2760fe
     1.1 --- a/src/FOL/blastdata.ML	Fri Nov 10 16:31:28 2000 +0100
     1.2 +++ b/src/FOL/blastdata.ML	Fri Nov 10 19:00:22 2000 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4    val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
     1.5    val claset	= Cla.claset
     1.6    val rep_cs    = Cla.rep_cs
     1.7 -  val atomize	= thms "atomize"
     1.8 +  val atomize	= thms "atomize'"
     1.9    val cla_modifiers = Cla.cla_modifiers;
    1.10    val cla_meth' = Cla.cla_meth'
    1.11    end;