src/FOL/blastdata.ML
changeset 18524 57b489b54914
parent 18171 c4f873d65603
child 21539 c5cf9243ad62
--- a/src/FOL/blastdata.ML	Fri Dec 30 16:56:57 2005 +0100
+++ b/src/FOL/blastdata.ML	Fri Dec 30 16:56:58 2005 +0100
@@ -3,6 +3,8 @@
 structure Blast_Data = 
   struct
   type claset	= Cla.claset
+  val equality_name = "op ="
+  val not_name = "Not"
   val notE	= notE
   val ccontr	= ccontr
   val contr_tac = Cla.contr_tac