src/HOL/SupInf.thy
changeset 41654 32fe42892983
parent 37887 2ae085b07f2f
child 44669 8e6cdb9c00a7