| Tue, 10 Feb 2004 12:02:11 +0100 | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
| Mon, 02 Feb 2004 12:23:46 +0100 | Conversion of HyperNat to Isar format and its declaration as a semiring | file | diff | annotate |
| Thu, 08 Aug 2002 23:52:55 +0200 | tuned; | file | diff | annotate |
| Mon, 08 Oct 2001 15:23:20 +0200 | sane numerals (stage 3): provide generic "1" on all number types; | file | diff | annotate |
| Tue, 16 Jan 2001 12:20:52 +0100 | renamings: real_of_nat, real_of_int -> (overloaded) real | file | diff | annotate |
| Tue, 09 Jan 2001 15:32:27 +0100 | *** empty log message *** | file | diff | annotate |
| Fri, 05 Jan 2001 18:48:18 +0100 | ^^ -> ``` | file | diff | annotate |
| Thu, 04 Jan 2001 10:23:01 +0100 | more tidying, especially to remove real_of_posnat | file | diff | annotate |
| Sat, 30 Dec 2000 22:03:47 +0100 | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |