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 |
Tue, 07 Aug 2001 16:36:52 +0200 | paulson | Tweaks for 1 -> 1' | file | diff | annotate |
Tue, 16 Jan 2001 12:20:52 +0100 | paulson | renamings: real_of_nat, real_of_int -> (overloaded) real | file | diff | annotate |
Fri, 05 Jan 2001 10:17:48 +0100 | paulson | more removal of obsolete rules | 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 |