src/HOL/SupInf.thy
changeset 44165 d26a45f3c835
parent 37887 2ae085b07f2f
child 44669 8e6cdb9c00a7