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.
List.thy
changeset 49 9f35f2744fa8
parent 48 21291189b51e
child 64 ee7413a7a44a
equal deleted inserted replaced
48:21291189b51e 49:9f35f2744fa8 
    11 *)
 
    11 *)
 
    12 
    12 
    13 List = Sexp +
 
    13 List = Sexp +
 
    14 
    14 
    15 types
 
    15 types
 
    16   list 1
 
    16   'a list
 
    17 
    17 
    18 arities
 
    18 arities
 
    19   list :: (term) term
 
    19   list :: (term) term
 
    20 
    20 
    21 
    21
Old_HOL