| 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 |
| Wed, 09 Oct 2002 11:07:13 +0200 | paulson | Re-organization of Constructible theories | file | diff | annotate |
| Tue, 10 Sep 2002 16:47:17 +0200 | paulson | tweaks | file | diff | annotate |
| Fri, 16 Aug 2002 16:41:48 +0200 | paulson | Relativized right up to L satisfies V=L! | file | diff | annotate |
| Tue, 30 Jul 2002 11:39:57 +0200 | paulson | better sats rules for higher-order operators | file | diff | annotate |
| Mon, 29 Jul 2002 00:57:16 +0200 | wenzelm | eliminate open locales and special ML code; | file | diff | annotate |
| Tue, 16 Jul 2002 18:46:59 +0200 | wenzelm | adapted locales; | file | diff | annotate |
| Thu, 04 Jul 2002 10:53:52 +0200 | paulson | reflection for rall and rex | file | diff | annotate |
| Mon, 01 Jul 2002 18:16:18 +0200 | paulson | more use of relativized quantifiers | file | diff | annotate |
| Wed, 19 Jun 2002 11:48:01 +0200 | paulson | new theory of inner models | file | diff | annotate |