| Wed, 15 Dec 2004 17:32:40 +0100 | paulson | removal of archaic Abs/Rep proofs | file | diff | annotate |
| Thu, 09 Dec 2004 12:03:06 +0100 | paulson | converted Datatype_Universe to new-style theory | file | diff | annotate |
| Thu, 10 Oct 2002 14:19:17 +0200 | berghofe | Removed obsolete function "Funs". | file | diff | annotate |
| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Wed, 08 Aug 2001 14:52:10 +0200 | paulson | Hilbert_Choice is needed only in Main itself | file | diff | annotate |
| Wed, 25 Jul 2001 13:13:01 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |
| Tue, 09 Jan 2001 15:22:13 +0100 | nipkow | `` -> and ``` -> `` | file | diff | annotate |
| Fri, 13 Oct 2000 08:28:21 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:44:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |