src/HOLCF/Fun1.thy
changeset 6019 0e55c2fb2ebb
parent 4721 c8a8482a8124
child 12030 46d57d0290a2