src/FOL/blastdata.ML
changeset 21539 c5cf9243ad62
parent 18524 57b489b54914
child 26287 df8e5362cff9
--- a/src/FOL/blastdata.ML	Sun Nov 26 23:09:25 2006 +0100
+++ b/src/FOL/blastdata.ML	Sun Nov 26 23:43:53 2006 +0100
@@ -1,3 +1,5 @@
+
+val ccontr = thm "ccontr";
 
 (*** Applying BlastFun to create Blast_tac ***)
 structure Blast_Data =