src/HOLCF/Cprod3.thy
changeset 6019 0e55c2fb2ebb
parent 4191 f967419250d1
child 10834 a7897aebbffc