src/HOL/Library/Lattice_Algebras.thy
changeset 61225 1a690dce8cfc
parent 60698 29e8bdc41f90
child 61546 53bb4172c7f7