Fri, 23 Apr 2004 14:47:12 +0200 | kleing | add link to HOL4 libraries | file | diff | annotate |
Tue, 13 Feb 2001 16:31:18 +0100 | wenzelm | tuned; | file | diff | annotate |
Mon, 09 Oct 2000 20:05:49 +0200 | wenzelm | fixed hrefs: index.html; | file | diff | annotate |
Mon, 18 Sep 2000 15:21:01 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 12 Jul 2000 14:46:28 +0200 | kleing | about -> logics, better access to online libraries | file | diff | annotate |