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 55943 5c2df04e97d1
parent 55942 c2d96043de4b
child 55944 7ab8f003fe41 
--- a/NEWS	Thu Mar 06 15:14:09 2014 +0100
+++ b/NEWS	Thu Mar 06 15:25:21 2014 +0100
@@ -193,6 +193,7 @@
 * The following map functions and relators have been renamed:
     sum_map ~> map_sum
     map_pair ~> map_prod
+    sum_rel ~> rel_sum
     set_rel ~> rel_set
     filter_rel ~> rel_filter
     fset_rel ~> rel_fset (in "Library/FSet.thy")
isabelle