src/HOL/Library/Lattice_Algebras.thy
changeset 49093 fdc301f592c4
parent 46986 8198cbff1771
child 53240 07593a0a27f4