src/HOL/Complete_Lattice.thy
Thu, 18 Mar 2010 12:58:52 +0100 blanchet now use "Named_Thms" for "noatp", and renamed "noatp" to "no_atp"
Sat, 06 Mar 2010 08:08:30 -0800 huffman add some lemmas about complete lattices
Thu, 11 Feb 2010 23:00:22 +0100 wenzelm modernized translations;
Sat, 05 Dec 2009 20:02:21 +0100 haftmann tuned lattices theory fragements; generlized some lemmas from sets to lattices
Tue, 06 Oct 2009 15:51:34 +0200 haftmann added syntactic Inf and Sup
Thu, 24 Sep 2009 18:29:28 +0200 haftmann added dual for complete lattice
Tue, 22 Sep 2009 15:36:55 +0200 haftmann be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
Fri, 18 Sep 2009 14:09:38 +0200 haftmann INTER and UNION are mere abbreviations for INFI and SUPR
Wed, 16 Sep 2009 13:43:05 +0200 haftmann Inter and Union are mere abbreviations for Inf and Sup
Fri, 28 Aug 2009 18:52:41 +0200 nipkow Turned "x <= y ==> sup x y = y" (and relatives) into simp rules
Wed, 22 Jul 2009 18:02:10 +0200 haftmann moved complete_lattice &c. into separate theory
less more (0) tip