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.
NEWS
authorhaftmann
Thu, 11 Mar 2010 15:52:33 +0100
changeset 35728 c36ade6f4c33
parent 35727 817b8e0f7086
child 35729 3cd1e4b65111
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Mar 11 14:40:29 2010 +0100
+++ b/NEWS	Thu Mar 11 15:52:33 2010 +0100
@@ -83,6 +83,9 @@
 
 *** HOL ***
 
+* Split off theory Big_Operators containing setsum, setprod, Inf_fin, Sup_fin,
+Min, Max from theory Finite_Set.  INCOMPATIBILITY.
+
 * Theory "Rational" renamed to "Rat", for consistency with "Nat", "Int" etc.
 INCOMPATIBILITY.
isabelle