src/HOL/Complete_Lattice.thy
changeset 40905 647142607448
parent 40872 7c556a9240de
child 41080 294956ff285b