| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | 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 |
| Fri, 19 Aug 2011 17:05:10 +0900 | Cezary Kaliszyk | Quotient_Examples: Cset, List_Cset: Lift Inf and Sup directly. | file | diff | annotate |