src/HOL/Library/Product_Lattice.thy
2011-09-19 wenzelm 2011-09-19 fixed headers;
2011-09-14 hoelzl 2011-09-14 renamed Complete_Lattices lemmas, removed legacy names
2011-08-01 huffman 2011-08-01 new theory HOL/Library/Product_Lattice.thy