| Tue, 20 Sep 2011 22:11:22 +0200 | haftmann | official status for UN_singleton | file | diff | annotate |
| Mon, 19 Sep 2011 14:35:51 +0200 | noschinl | removed legacy lemmas in Complete_Lattices | file | diff | annotate |
| Thu, 15 Sep 2011 12:40:08 -0400 | hoelzl | removed further legacy rules from Complete_Lattices | file | diff | annotate |
| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | file | diff | annotate |
| Tue, 13 Sep 2011 17:07:33 -0700 | huffman | tuned proofs | file | diff | annotate |
| Tue, 13 Sep 2011 08:21:51 -0700 | huffman | remove some redundant [simp] declarations; | file | diff | annotate |
| Tue, 13 Sep 2011 16:22:01 +0200 | noschinl | tune proofs | file | diff | annotate |
| Tue, 13 Sep 2011 16:21:48 +0200 | noschinl | tune simpset for Complete_Lattices | file | diff | annotate |
| Sat, 10 Sep 2011 10:29:24 +0200 | haftmann | renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc. | file | diff | annotate | base |