| Mon, 01 Mar 2004 11:52:59 +0100 | paulson | converted Hyperreal/HTranscendental to Isar script | file | diff | annotate |
| Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | 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 |
| Fri, 09 Nov 2001 00:09:47 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | file | diff | annotate |
| Tue, 16 Jan 2001 12:20:52 +0100 | paulson | renamings: real_of_nat, real_of_int -> (overloaded) real | file | diff | annotate |
| Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |