src/HOLCF/Lift.thy
changeset 5400 645f46a24c72
parent 2640 ee4dfce170a0
child 12026 0b1d80ada4ab