Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Thu, 28 Aug 2003 01:56:40 +0200 | skalberg | Extended the notion of letter and digit, such that now one may use greek, | file | diff | annotate |
Fri, 08 Nov 2002 10:34:40 +0100 | paulson | Polishing. | file | diff | annotate |
Fri, 01 Nov 2002 17:44:26 +0100 | paulson | proof streamlining | file | diff | annotate |
Wed, 09 Oct 2002 11:07:13 +0200 | paulson | Re-organization of Constructible theories | file | diff | annotate |
Tue, 01 Oct 2002 13:26:10 +0200 | paulson | Numerous cosmetic changes, prompted by the new simplifier | file | diff | annotate |
Thu, 29 Aug 2002 11:15:36 +0200 | paulson | fixed a name clash | file | diff | annotate |
Wed, 28 Aug 2002 13:08:34 +0200 | paulson | completion of the consistency proof for AC | file | diff | annotate |