src/HOL/Zorn.thy
Mon, 29 Apr 2019 17:11:26 +0100 paulson moving around some material from Algebraic_Closure
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Sun, 16 Sep 2018 14:13:08 +0100 paulson more lemmas
Tue, 11 Sep 2018 16:21:54 +0100 paulson A few new results, elimination of duplicates and more use of "pairwise"
Tue, 14 Aug 2018 16:05:40 +0100 paulson Zorn's lemma for relations defined by predicates
Mon, 19 Feb 2018 16:44:45 +0000 paulson lots of new material, ultimately related to measure theory
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Sun, 31 Jul 2016 22:56:18 +0200 wenzelm misc tuning and modernization;
Fri, 27 May 2016 23:58:24 +0200 wenzelm tuned proofs;
Mon, 25 Apr 2016 16:09:26 +0200 wenzelm eliminated old 'def';
Mon, 07 Dec 2015 10:38:04 +0100 wenzelm isabelle update_cartouches -c -t;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 04 Sep 2014 14:02:37 +0200 hoelzl cleanup Wfrec; introduce dependent_wf/wellorder_choice
Fri, 28 Feb 2014 17:54:52 +0100 traytel load Metis a little later
Thu, 16 Jan 2014 16:33:19 +0100 blanchet moved 'Zorn' into 'Main', since it's a BNF dependency
less more (0) tip