src/HOL/AxClasses/Lattice/OrdDefs.thy
changeset 3362 0b268cff9344
parent 1476 608483c2122a