src/HOL/Library/Product_Lattice.thy
Mon, 17 Dec 2012 08:19:35 +0100 nipkow new contributor
Fri, 14 Dec 2012 18:41:45 +0100 nipkow contribution by A. Colgio
Mon, 19 Sep 2011 23:34:22 +0200 wenzelm fixed headers;
Wed, 14 Sep 2011 10:08:52 -0400 hoelzl renamed Complete_Lattices lemmas, removed legacy names
Mon, 01 Aug 2011 09:31:10 -0700 huffman new theory HOL/Library/Product_Lattice.thy
less more (0) tip