src/ZF/AC/AC16_WO4.thy
Wed, 29 Aug 2018 20:01:39 +0200 wenzelm prefer "locale begin ... end";
Thu, 30 Apr 2015 17:00:50 +0200 wenzelm avoid potential conflict with Eisbach keyword (although keywords are local to the theory context);
Mon, 23 Mar 2015 21:05:17 +0100 wenzelm prefer local fixes;
Sat, 01 Nov 2014 14:20:38 +0100 wenzelm eliminated spurious semicolons;
Tue, 06 Mar 2012 16:46:27 +0000 paulson mathematical symbols for Isabelle/ZF example theories
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 25 Jul 2008 07:35:53 +0200 haftmann dropped locale (open)
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 16 Jul 2002 18:46:59 +0200 wenzelm adapted locales;
Wed, 10 Jul 2002 16:54:07 +0200 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
Thu, 23 May 2002 17:05:21 +0200 paulson new definition of "apply" and new simprule "beta_if"
Tue, 26 Feb 2002 21:47:33 +0100 wenzelm quote "includes" (now a keyword);
Mon, 21 Jan 2002 11:25:45 +0100 paulson lexical tidying
Wed, 16 Jan 2002 17:52:06 +0100 paulson Isar version of AC
Mon, 21 May 2001 14:45:52 +0200 paulson X-symbols for set theory
Thu, 13 Aug 1998 18:07:38 +0200 paulson Moved the definition of s_u (as s) into the locale
Mon, 10 Aug 1998 11:51:09 +0200 paulson Tidying of AC, especially of AC16_WO4 using a locale
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
Fri, 28 Jul 1995 11:02:22 +0200 lcp Ran expandshort and changed spelling of Grabczewski
Tue, 25 Jul 1995 17:31:53 +0200 lcp Numerous small improvements by KG and LCP
less more (0) tip