src/HOL/Library/Product_Order.thy
Fri, 30 Sep 2016 15:35:43 +0200 hoelzl Library: fix name Product_plus to Product_Plus
Fri, 29 Jul 2016 09:49:23 +0200 Andreas Lochbihler add lemmas contributed by Peter Gammie
Wed, 17 Feb 2016 21:51:56 +0100 haftmann prefer abbreviations for compound operators INFIMUM and SUPREMUM
Mon, 04 Jan 2016 21:49:06 +0100 wenzelm tuned proofs;
Sun, 13 Sep 2015 20:20:16 +0200 wenzelm renamed method "goals" to "goal_cases" to emphasize its meaning;
Mon, 06 Jul 2015 22:57:34 +0200 wenzelm tuned proofs;
Thu, 25 Jun 2015 23:33:47 +0200 wenzelm tuned proofs;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Wed, 19 Mar 2014 18:47:22 +0100 haftmann elongated INFI and SUPR, to reduced risk of confusing theorems names in the future while still being consistent with INTER and UNION
Tue, 18 Mar 2014 22:11:46 +0100 haftmann consolidated theorem names containing INFI and SUPR: have INF and SUP instead uniformly
Sun, 16 Mar 2014 18:09:04 +0100 haftmann normalising simp rules for compound operators
Sat, 15 Mar 2014 08:31:33 +0100 haftmann more complete set of lemmas wrt. image and composition
Mon, 16 Dec 2013 17:08:22 +0100 immler ordered_euclidean_space compatible with more standard pointwise ordering on products; conditionally complete lattice with product order
Thu, 25 Jul 2013 08:57:16 +0200 haftmann factored syntactic type classes for bot and top (by Alessandro Coglio)
Tue, 26 Mar 2013 20:02:02 +0100 wenzelm tuned imports;
Thu, 14 Feb 2013 14:14:55 +0100 haftmann consolidation of library theories on product orders
less more (0) tip