src/HOLCF/cprod2.thy
changeset 5871 2c037ffa7287
parent 243 c22b85994e17