Fri, 19 Mar 2004 10:51:03 +0100 | paulson | conversion of Hyperreal/Lim to new-style | file | diff | annotate |
Mon, 15 Mar 2004 10:46:19 +0100 | paulson | heavy tidying | file | diff | annotate |
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 |
Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Fri, 05 Jan 2001 18:48:18 +0100 | nipkow | ^^ -> ``` | file | diff | annotate |
Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |