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.
NEWS
changeset 15724 1b89c781a7ec
parent 15703 727ef1b8b3ee
child 15727 b43d82139a6c
equal deleted inserted replaced
15723:5b594d6ec919 15724:1b89c781a7ec 
  2983 * 'subtype' facility in HOL for introducing new types as subsets of existing
 
  2983 * 'subtype' facility in HOL for introducing new types as subsets of existing
 
  2984 types;
 
  2984 types;
 
  2985 
  2985 
  2986 
  2986 
  2987 $Id$
 
  2987 $Id$
 
       
  2988
isabelle