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