Thu, 29 Jan 2004 16:51:17 +0100 | paulson | simplifications in the hyperreals | file | diff | annotate |
Fri, 09 Jan 2004 10:46:18 +0100 | paulson | Defining the type class "ringpower" and deleting superseded theorems for | file | diff | annotate |
Thu, 01 Jan 2004 10:06:32 +0100 | paulson | tweaking of lemmas in RealDef, RealOrd | file | diff | annotate |
Sat, 27 Dec 2003 21:02:14 +0100 | paulson | re-organized numeric lemmas | file | diff | annotate |
Tue, 23 Dec 2003 16:52:49 +0100 | paulson | deleting redundant theorems | file | diff | annotate |
Mon, 05 May 2003 18:23:40 +0200 | paulson | New material on integration, etc. Moving Hyperreal/ex | file | diff | annotate |