| Mon, 19 Apr 2004 13:49:35 +0200 | paulson | badly-needed updates | file | diff | annotate |
| Tue, 20 Nov 2001 22:53:50 +0100 | wenzelm | fixed links etc.; | file | diff | annotate |
| Sat, 01 Sep 2001 00:20:06 +0200 | wenzelm | HOL-Real-Hyperreal made a plain session (no longer an image); | file | diff | annotate |
| Sun, 31 Dec 2000 15:12:27 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |