src/HOLCF/Cont.thy
changeset 23709 fd31da8f752a
parent 18092 2c5d5da79a1e
child 25131 2c8caac48ade