--- a/src/FOL/blastdata.ML Tue Jul 12 12:49:00 2005 +0200
+++ b/src/FOL/blastdata.ML Tue Jul 12 12:49:46 2005 +0200
@@ -3,6 +3,7 @@
structure Blast_Data =
struct
type claset = Cla.claset
+ val is_hol = false
val notE = notE
val ccontr = ccontr
val contr_tac = Cla.contr_tac