| Tue, 01 Jun 2004 12:33:50 +0200 | wenzelm | removed obsolete sort 'logic'; | file | diff | annotate |
| Wed, 09 Oct 2002 11:07:13 +0200 | paulson | Re-organization of Constructible theories | file | diff | annotate |
| Fri, 16 Aug 2002 16:41:48 +0200 | paulson | Relativized right up to L satisfies V=L! | file | diff | annotate |
| Mon, 08 Jul 2002 17:24:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 08 Jul 2002 15:56:39 +0200 | paulson | Defining a meta-existential quantifier. | file | diff | annotate |