src/HOL/Lattices_Big.thy
changeset 66010 2f7d39285a1a
parent 65965 088c79b40156
child 66364 fa3247e6ee4b