src/HOL/Library/Lattice_Algebras.thy
changeset 66787 64b47495676d
parent 65151 a7394aa4d21c
child 68406 6beb45f6cf67