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.
*** empty log message ***
authornipkow
Thu, 15 Jul 2004 08:38:37 +0200
changeset 15044 f224d27bb1f8
parent 15043 b21fce6d146a
child 15045 d59f7e2e18d3
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Jul 14 10:25:21 2004 +0200
+++ b/NEWS	Thu Jul 15 08:38:37 2004 +0200
@@ -152,6 +152,8 @@
   Moreover, the mathematically important symbolic identifier
   \<epsilon> becomes available as variable, constant etc.
 
+* HOL: Summation over nat with syntax '\<Sum>i<k. e' is now just a
+  translation into 'setsum'.
 
 *** HOLCF ***
isabelle