src/HOL/Library/Finite_Lattice.thy
Sat, 29 Dec 2012 17:18:01 +0100 nipkow new theory Library/Finite_Lattice
less more (0) tip