src/HOL/Datatype_Universe.thy
Thu, 10 Oct 2002 14:19:17 +0200 berghofe Removed obsolete function "Funs".
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Wed, 08 Aug 2001 14:52:10 +0200 paulson Hilbert_Choice is needed only in Main itself
Wed, 25 Jul 2001 13:13:01 +0200 paulson partial restructuring to reduce dependence on Axiom of Choice
Tue, 09 Jan 2001 15:22:13 +0100 nipkow `` -> and ``` -> ``
Fri, 13 Oct 2000 08:28:21 +0200 nipkow *** empty log message ***
Thu, 12 Oct 2000 18:44:35 +0200 nipkow *** empty log message ***
less more (0) tip