--- a/src/FOL/blastdata.ML Mon Nov 14 16:26:40 2005 +0100
+++ b/src/FOL/blastdata.ML Mon Nov 14 18:25:34 2005 +0100
@@ -3,7 +3,6 @@
structure Blast_Data =
struct
type claset = Cla.claset
- val is_hol = false
val notE = notE
val ccontr = ccontr
val contr_tac = Cla.contr_tac