src/HOL/Lubs.thy
changeset 51692 ecd34f863242
parent 51520 e9b361845809