src/HOL/SupInf.thy
changeset 37724 6607ccf77946
parent 36777 be5461582d0f
child 37765 26bdfb7b680b