src/HOL/Library/Finite_Lattice.thy
2013-02-14 haftmann 2013-02-14 consolidation of library theories on product orders
2012-12-29 nipkow 2012-12-29 new theory Library/Finite_Lattice