| Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
| Mon, 02 Feb 2004 12:23:46 +0100 | paulson | Conversion of HyperNat to Isar format and its declaration as a semiring | file | diff | annotate |
| 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 |