src/HOLCF/ssum1.ML
changeset 2572 8a47f85e7a03
parent 243 c22b85994e17