src/HOL/Library/Glbs.thy
changeset 50516 ed6b40d15d1c
parent 46509 c4b2ec379fdd
child 51342 763c6872bd10