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 |