src/HOLCF/Cprod1.thy
changeset 6019 0e55c2fb2ebb
parent 3323 194ae2e0c193
child 12030 46d57d0290a2