src/ZF/Univ.thy
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Sun, 07 Oct 2007 15:49:25 +0200 wenzelm replaced some 'translations' by 'abbreviation';
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
Thu, 23 Jan 2003 10:30:14 +0100 paulson tidying (by script)
Tue, 27 Aug 2002 11:09:33 +0200 wenzelm avoid duplicate fact bindings;
Sun, 14 Jul 2002 15:14:43 +0200 paulson improved presentation markup
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