src/HOLCF/Cprod.thy
changeset 40006 116e94f9543b
parent 40002 c5b5f7a3a3b1
child 40502 8e92772bc0e8