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.
Set.thy
changeset 49 9f35f2744fa8
parent 12 201061643c4b
child 79 efd3e5a2d493
equal deleted inserted replaced
48:21291189b51e 49:9f35f2744fa8 
     5 *)
 
     5 *)
 
     6 
     6 
     7 Set = Ord +
 
     7 Set = Ord +
 
     8 
     8 
     9 types
 
     9 types
 
    10   set 1
 
    10   'a set
 
    11 
    11 
    12 arities
 
    12 arities
 
    13   set :: (term) term
 
    13   set :: (term) term
 
    14   set :: (term) ord
 
    14   set :: (term) ord
 
    15   set :: (term) minus
 
    15   set :: (term) minus
Old_HOL