diff -r a8ab7c64817c -r 5ff4bfab859c TFL/thms.sig
--- a/TFL/thms.sig	Mon Jun 23 10:42:03 1997 +0200
+++ b/TFL/thms.sig	Mon Jun 23 11:30:35 1997 +0200
@@ -12,7 +12,6 @@
    val CUT_LEMMA       :thm
    val SELECT_AX       :thm
    
-   val COND_CONG :thm
    val LET_CONG  :thm
 
    val eqT       :thm