src/FOL/blastdata.ML
changeset 11748 06eb315831ff
parent 10906 de95ba2760fe
child 16774 515b6020cf5d
--- a/src/FOL/blastdata.ML	Sun Oct 14 19:59:15 2001 +0200
+++ b/src/FOL/blastdata.ML	Sun Oct 14 19:59:55 2001 +0200
@@ -10,7 +10,6 @@
   val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
   val claset	= Cla.claset
   val rep_cs    = Cla.rep_cs
-  val atomize	= atomize_rules
   val cla_modifiers = Cla.cla_modifiers;
   val cla_meth' = Cla.cla_meth'
   end;