src/HOL/Order_Relation.thy
Tue, 14 Aug 2018 16:05:40 +0100 paulson Zorn's lemma for relations defined by predicates
Fri, 22 Jun 2018 20:31:49 +0200 wenzelm clarified document antiquotation @{theory};
Wed, 28 Sep 2016 17:01:01 +0100 paulson new material connected with HOL Light measure theory, plus more rationalisation
Sun, 31 Jul 2016 22:56:18 +0200 wenzelm misc tuning and modernization;
Fri, 29 Jul 2016 12:44:22 +0200 Andreas Lochbihler prefer [simp] over [iff] as [iff] break HOL-UNITY
Fri, 29 Jul 2016 09:49:23 +0200 Andreas Lochbihler add lemmas contributed by Peter Gammie
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
Thu, 30 Jan 2014 12:27:42 +0100 traytel define ofilter outside of wo_rel
Fri, 17 Jan 2014 10:02:50 +0100 blanchet folded 'Wellfounded_More_FP' into 'Wellfounded'
Fri, 17 Jan 2014 10:02:49 +0100 blanchet folded 'Order_Relation_More_FP' into 'Order_Relation'
Thu, 21 Nov 2013 21:33:34 +0100 blanchet moving 'Order_Relation' to 'HOL' (since it's a BNF dependency)
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
less more (0) tip