| 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 |
| Wed, 20 Jul 2011 13:24:49 +0200 | krauss | added UNION | file | diff | annotate |
| Wed, 13 Jul 2011 15:50:45 +0200 | krauss | experimental variants of Library/Cset.thy and Library/Dlist_Cset.thy defined via quotient package | file | diff | annotate |