src/HOLCF/Fun1.thy
changeset 10168 50be659d4222
parent 4721 c8a8482a8124
child 12030 46d57d0290a2