src/HOL/Lattices.thy
changeset 30549 d2d7874648bd
parent 30302 5ffa9d4dbea7
child 30729 461ee3e49ad3