--- a/TFL/thms.sig Fri Apr 23 12:22:30 1999 +0200 +++ b/TFL/thms.sig Fri Apr 23 12:23:21 1999 +0200 @@ -9,7 +9,6 @@ val WF_INDUCTION_THM:thm val WFREC_COROLLARY :thm val CUT_DEF :thm - val CUT_LEMMA :thm val SELECT_AX :thm val LET_CONG :thm