Mercurial Mercurial > repos > isabelle / diff
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 55934 800e155d051a
parent 55933 12ee2c407dad
child 55938 f20d1db5aa3c 
--- a/NEWS	Thu Mar 06 13:36:49 2014 +0100
+++ b/NEWS	Thu Mar 06 13:36:50 2014 +0100
@@ -194,6 +194,7 @@
     map_sum ~> sum_map
     map_pair ~> prod_map
     fset_rel ~> rel_fset
+    cset_rel ~> rel_cset
 
 * New theory:
     Cardinals/Ordinal_Arithmetic.thy
isabelle