| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 19 Nov 2002 10:41:20 +0100 | paulson | stylistic tweaks | file | diff | annotate |
| Mon, 14 Oct 2002 11:32:00 +0200 | paulson | tidying and reorganization | file | diff | annotate |
| Wed, 09 Oct 2002 11:07:13 +0200 | paulson | Re-organization of Constructible theories | file | diff | annotate |