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 |