| Wed, 16 Jun 2004 20:37:29 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 09 Jun 2004 18:51:26 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 21 May 2004 21:14:52 +0200 | wenzelm | use plain SOME; | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |
| Mon, 08 Mar 2004 11:11:58 +0100 | paulson | new theory of infinite sets | file | diff | annotate |