| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Tue, 07 Nov 2006 19:40:13 +0100 | wenzelm | tuned specifications; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 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 |