src/HOLCF/cfun2.thy
changeset 12841 c8ec6803d1cd
parent 243 c22b85994e17