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 |