src/HOL/Complete_Lattice.thy
changeset 36204 16c371c6ff86
parent 35828 46cfc4b8112e
child 36364 0e2679025aeb