Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
TFL/thms.sig
changeset 3458 5ff4bfab859c
parent 3302 404fe31fd8d2
child 6498 1ebbe18fe236 
--- 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
isabelle