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 |