| 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 |