| Wed, 17 Dec 2003 16:23:52 +0100 | paulson | converted Hyperreal/HyperDef to Isar script | file | diff | annotate |
| Fri, 07 Feb 2003 16:40:23 +0100 | nipkow | (*f -> ( *f because of new comments | file | diff | annotate |
| Thu, 13 Dec 2001 15:45:03 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
| Fri, 02 Nov 2001 17:55:24 +0100 | paulson | Numerals and simprocs for types real and hypreal. The abstract | file | diff | annotate |
| Tue, 16 Jan 2001 12:20:52 +0100 | paulson | renamings: real_of_nat, real_of_int -> (overloaded) real | 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 |
| Thu, 04 Jan 2001 10:23:01 +0100 | paulson | more tidying, especially to remove real_of_posnat | file | diff | annotate |
| Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |