src/HOLCF/Cont.thy
changeset 40502 8e92772bc0e8
parent 40010 d7fdd84b959f
child 40736 72857de90621