src/HOL/Library/Finite_Lattice.thy
15 months ago Manuel Eberl 2018-03-12 Changes to complete distributive lattices due to Viorel Preoteasa
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2015-07-06 wenzelm 2015-07-06 tuned proofs;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
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