src/HOLCF/sprod3.ML
changeset 6733 429bbd7ef26d
parent 243 c22b85994e17