src/HOLCF/fun3.thy
changeset 8564 37a1e855390a
parent 243 c22b85994e17