src/ZF/AC/AC16_lemmas.thy
Sat, 10 Oct 2015 22:14:44 +0200 wenzelm tuned syntax -- more symbols;
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
Wed, 10 Jul 2002 16:54:07 +0200 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
Mon, 21 Jan 2002 11:25:45 +0100 paulson lexical tidying
Wed, 16 Jan 2002 17:52:06 +0100 paulson Isar version of AC
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Tue, 25 Jul 1995 17:31:53 +0200 lcp Numerous small improvements by KG and LCP
less more (0) tip