Mercurial Mercurial > repos > Old_HOL / 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.
hol.thy
changeset 49 9f35f2744fa8
parent 41 054ce38225b9
child 66 14b9286ed036
equal deleted inserted replaced
48:21291189b51e 49:9f35f2744fa8 
    16 
    16 
    17 default
 
    17 default
 
    18   term
 
    18   term
 
    19 
    19 
    20 types
 
    20 types
 
    21   bool 0
 
    21   bool
 
    22   letbinds, letbind 0
 
    22   letbinds, letbind 0
 
    23   case_syn,cases_syn 0
 
    23   case_syn,cases_syn 0
 
    24 
    24 
    25 arities
 
    25 arities
 
    26   fun :: (term, term) term
 
    26   fun :: (term, term) term
Old_HOL