src/HOLCF/ssum1.ML
changeset 6149 372919b37b5d
parent 243 c22b85994e17