src/HOLCF/Cprod2.thy
changeset 6019 0e55c2fb2ebb
parent 2840 7e03e61612b0
child 12030 46d57d0290a2