Mon, 07 Mar 2005 19:41:04 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
Thu, 22 Apr 2004 09:23:13 +0200 | kleing | typo | file | diff | annotate |
Thu, 22 Apr 2004 09:19:28 +0200 | kleing | Higher order logic more obvious than set theory | file | diff | annotate |
Tue, 13 Feb 2001 22:04:09 +0100 | wenzelm | tuned; | file | diff | annotate |
Fri, 05 May 2000 22:24:03 +0200 | wenzelm | removed index2; | file | diff | annotate |