src/HOLCF/lift1.ML
changeset 5400 645f46a24c72
parent 248 0d0a6a17a02f