src/HOL/Complete_Lattices.thy
Sat, 07 Jan 2012 20:18:56 +0100 haftmann use Inf/Sup_bool_def/apply as code equations
Thu, 29 Dec 2011 14:23:40 +0100 haftmann fundamental theorems on Set.bind
Sat, 24 Dec 2011 15:53:07 +0100 haftmann lattice type class instances for `set`; added code lemma for Set.bind
Tue, 20 Sep 2011 22:11:22 +0200 haftmann official status for UN_singleton
Mon, 19 Sep 2011 14:35:51 +0200 noschinl removed legacy lemmas in Complete_Lattices
Thu, 15 Sep 2011 12:40:08 -0400 hoelzl removed further legacy rules from Complete_Lattices
Wed, 14 Sep 2011 10:08:52 -0400 hoelzl renamed Complete_Lattices lemmas, removed legacy names
Tue, 13 Sep 2011 17:07:33 -0700 huffman tuned proofs
Tue, 13 Sep 2011 08:21:51 -0700 huffman remove some redundant [simp] declarations;
Tue, 13 Sep 2011 16:22:01 +0200 noschinl tune proofs
Tue, 13 Sep 2011 16:21:48 +0200 noschinl tune simpset for Complete_Lattices
Sat, 10 Sep 2011 10:29:24 +0200 haftmann renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
less more (0) tip