src/HOL/Lattices.thy
changeset 28988 13d6f120992b
parent 28823 dcbef866c9e2
child 29223 e09c53289830