Fri, 07 Feb 2003 16:40:23 +0100 | nipkow | (*f -> ( *f because of new comments | 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 |
Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |