src/HOLCF/lift3.ML
changeset 7404 e488cf3da60a
parent 243 c22b85994e17