src/ZF/Univ.thy
Wed, 03 Jul 2002 14:52:57 +0200 wenzelm fixed comment;
Tue, 02 Jul 2002 13:28:08 +0200 paulson Tidying and introduction of various new theorems
Fri, 28 Jun 2002 17:36:22 +0200 paulson new theorems, tidying
Tue, 18 Jun 2002 18:45:07 +0200 paulson tidying
Wed, 05 Jun 2002 15:34:55 +0200 paulson Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
Tue, 28 May 2002 11:07:36 +0200 paulson deleted some useless ML bindings
Thu, 23 May 2002 17:05:21 +0200 paulson new definition of "apply" and new simprule "beta_if"
Sat, 18 May 2002 20:08:17 +0200 paulson converted Arith, Univ, func to Isar format!
Fri, 21 Jul 2000 10:28:32 +0200 paulson Univ no longer requires Arith (really it never did)
Tue, 12 Jan 1999 15:17:37 +0100 wenzelm eliminated global/local names;
Mon, 28 Dec 1998 16:59:28 +0100 paulson new inductive, datatype and primrec packages, etc.
Mon, 20 Oct 1997 10:53:42 +0200 wenzelm local;
Fri, 17 Oct 1997 17:40:02 +0200 wenzelm global;
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Tue, 06 Feb 1996 12:27:17 +0100 clasohm expanded tabs
Sat, 09 Dec 1995 13:36:11 +0100 clasohm removed quotes from consts and syntax sections
Thu, 22 Jun 1995 17:13:05 +0200 clasohm removed \...\ inside strings
Fri, 16 Dec 1994 17:32:14 +0100 lcp now also depends upon Finite.thy
Tue, 29 Nov 1994 00:31:31 +0100 lcp replaced "rules" by "defs"
Fri, 12 Aug 1994 12:51:34 +0200 lcp installation of new inductive/datatype sections
Wed, 27 Jul 1994 16:09:14 +0200 lcp Addition of infinite branching datatypes
Tue, 21 Jun 1994 17:20:34 +0200 lcp Addition of cardinals and order types, various tidying
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
Fri, 08 Oct 1993 14:18:51 +0100 wenzelm fixed comment;
Tue, 05 Oct 1993 17:27:05 +0100 lcp Retry of the previous commit (network outage)
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip