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.
merged
authorwenzelm
Thu, 18 Feb 2016 23:30:06 +0100
changeset 62360 3fd79fcdb491
parent 62358 0b7337826593 (diff)
parent 62359 6709e51d5c11 (current diff)
child 62361 746d1698f31c
merged
lib/scripts/process file | annotate | diff | comparison | revisions
src/Pure/Concurrent/bash_sequential.ML file | annotate | diff | comparison | revisions
src/Pure/Concurrent/lazy_sequential.ML file | annotate | diff | comparison | revisions
src/Pure/Concurrent/par_list_sequential.ML file | annotate | diff | comparison | revisions
src/Pure/Concurrent/single_assignment_sequential.ML file | annotate | diff | comparison | revisions
src/Pure/Concurrent/synchronized_sequential.ML file | annotate | diff | comparison | revisions
src/Pure/RAW/multithreading_polyml.ML file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Feb 18 23:10:28 2016 +0100
+++ b/NEWS	Thu Feb 18 23:30:06 2016 +0100
@@ -35,6 +35,9 @@
 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
 INCOMPATIBILITY.
 
+* "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional
+comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)".
+
 * Class semiring_Lcd merged into semiring_Gcd.  INCOMPATIBILITY.
 
 * Library/Polynomial.thy contains also derivation of polynomials
isabelle