Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
be explicit about Finite_Set.fold
authorhaftmann
Tue, 27 Dec 2011 09:15:26 +0100
changeset 45991 3289ac99d714
parent 45990 b7b905b23b2a
child 45992 15d14fa805b2
be explicit about Finite_Set.fold
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Dec 26 22:17:10 2011 +0100
+++ b/NEWS	Tue Dec 27 09:15:26 2011 +0100
@@ -53,6 +53,8 @@
 
 *** HOL ***
 
+* Finite_Set.fold now qualified.  INCOMPATIBILITY.
+
 * Renamed some facts on canonical fold on lists, in order to avoid problems
 with interpretation involving corresponding facts on foldl with the same base names:
isabelle