src/HOL/Lattices_Big.thy
changeset 65578 e4997c181cce
parent 63915 bab633745c7f
child 65817 8ee1799fb076