src/HOL/Library/Boolean_Algebra.thy
Sat, 01 Apr 2017 19:16:19 +0200 wenzelm tuned proofs;
Tue, 12 Jul 2016 15:45:32 +0200 wenzelm misc tuning and modernization;
Mon, 09 Nov 2015 15:48:17 +0100 wenzelm qualifier is mandatory by default;
Thu, 06 Aug 2015 14:29:05 +0200 wenzelm tuned;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Fri, 27 Dec 2013 14:35:14 +0100 haftmann prefer target-style syntaxx for sublocale
Thu, 28 Jan 2010 11:48:43 +0100 haftmann dropped mk_left_commute; use interpretation of locale abel_semigroup instead
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Thu, 19 Feb 2009 12:37:03 -0800 huffman declare xor_compl_{left,right} [simp]
Mon, 26 Jan 2009 22:14:17 +0100 haftmann tuned header
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Mon, 10 Dec 2007 11:24:09 +0100 haftmann switched import from Main to PreList
Mon, 05 Nov 2007 17:48:04 +0100 ballarin Type instance of thm mk_left_commute in locales.
Tue, 21 Aug 2007 20:53:37 +0200 huffman declare conj_absorb [simp]
Mon, 20 Aug 2007 20:38:32 +0200 huffman cleaned up; declared more simp rules
Mon, 20 Aug 2007 00:22:18 +0200 kleing boolean algebras as locales and numbers as types by Brian Huffman
less more (0) tip