Mercurial Mercurial > repos > isabelle / comparison
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 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3458 5ff4bfab859c
equal deleted inserted replaced
3301:cdcc4d5602b6 3302:404fe31fd8d2 
       
     1 (*  Title:      TFL/thms
 
       
     2     ID:         $Id$
 
       
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
 
       
     4     Copyright   1997  University of Cambridge
 
       
     5 *)
 
       
     6 
     1 signature Thms_sig =
 
     7 signature Thms_sig =
 
     2 sig
 
     8 sig
 
     3    val WF_INDUCTION_THM:thm
 
     9    val WF_INDUCTION_THM:thm
 
     4    val WFREC_COROLLARY :thm
 
    10    val WFREC_COROLLARY :thm
 
     5    val CUT_DEF         :thm
 
    11    val CUT_DEF         :thm
isabelle