src/HOL/Library/Finite_Lattice.thy
2014-04-29 wenzelm 2014-04-29 tuned proofs;
2014-04-26 haftmann 2014-04-26 tuned
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
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