| Thu, 04 Jul 2002 16:59:54 +0200 | paulson | Constructible: some separation axioms | file | diff | annotate |
| Thu, 04 Jul 2002 15:03:03 +0200 | wenzelm | document setup; | file | diff | annotate |
| Thu, 04 Jul 2002 10:54:04 +0200 | paulson | tweaks | file | diff | annotate |
| Tue, 02 Jul 2002 13:28:08 +0200 | paulson | Tidying and introduction of various new theorems | file | diff | annotate |
| Wed, 26 Jun 2002 18:31:20 +0200 | paulson | new treatment of wfrec, replacing wf[A](r) by wf(r) | file | diff | annotate |
| Wed, 26 Jun 2002 10:25:36 +0200 | paulson | towards absoluteness of wfrec-defined functions | file | diff | annotate |
| Mon, 24 Jun 2002 11:59:21 +0200 | paulson | development and tweaks | file | diff | annotate |
| Wed, 19 Jun 2002 11:48:01 +0200 | paulson | new theory of inner models | file | diff | annotate |