src/HOL/Lubs.thy
changeset 47389 e8552cba702d
parent 46509 c4b2ec379fdd
child 51520 e9b361845809