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.
src/HOL/Library/Old_Recdef.thy
changeset 69913 ca515cf61651
parent 69605 a96320074298
equal deleted inserted replaced
69912:dd55d2c926d9 69913:ca515cf61651 
     5 section \<open>TFL: recursive function definitions\<close>
 
     5 section \<open>TFL: recursive function definitions\<close>
 
     6 
     6 
     7 theory Old_Recdef
 
     7 theory Old_Recdef
 
     8 imports Main
 
     8 imports Main
 
     9 keywords
 
     9 keywords
 
    10   "recdef" :: thy_decl and
 
    10   "recdef" :: thy_defn and
 
    11   "permissive" "congs" "hints"
 
    11   "permissive" "congs" "hints"
 
    12 begin
 
    12 begin
 
    13 
    13 
    14 subsection \<open>Lemmas for TFL\<close>
 
    14 subsection \<open>Lemmas for TFL\<close>
 
    15 
    15
isabelle