| Tue, 20 Sep 2011 21:47:52 +0200 | haftmann | tuned specification and lemma distribution among theories; tuned proofs | 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 |