src/HOLCF/sprod3.ML
changeset 4552 bb8ff763c93d
parent 243 c22b85994e17
equal deleted inserted replaced
4551:41fa62c229c3 4552:bb8ff763c93d