src/HOL/HOLCF/Cfun.thy
changeset 67022 49309fe530fd
parent 63549 b0d31c7def86
child 67312 0d25e02759b7