Mon, 17 Dec 2012 08:19:35 +0100 | nipkow | new contributor | file | diff | annotate |
Fri, 14 Dec 2012 18:41:45 +0100 | nipkow | contribution by A. Colgio | file | diff | annotate |
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 |