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.
* Hyperreal: A theory of Taylor series.
authorwenzelm
Sun, 25 Sep 2005 20:24:23 +0200
changeset 17641 5ec55c1fa116
parent 17640 dca023dd6d3c
child 17642 e063c0403650
* Hyperreal: A theory of Taylor series.
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Sep 25 20:24:10 2005 +0200
+++ b/NEWS	Sun Sep 25 20:24:23 2005 +0200
@@ -653,6 +653,8 @@
 To be successful, all free variables must have standard types; non-
 standard variables must have explicit universal quantifiers.
 
+* Hyperreal: A theory of Taylor series.
+
 
 *** HOLCF ***
isabelle