| Mon, 19 Sep 2011 23:34:22 +0200 | wenzelm | fixed headers; | file | diff | annotate |
| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | file | diff | annotate |
| Mon, 01 Aug 2011 09:31:10 -0700 | huffman | new theory HOL/Library/Product_Lattice.thy | file | diff | annotate |