src/HOLCF/Lift.thy
changeset 3257 4e3724e0659f
parent 2640 ee4dfce170a0
child 12026 0b1d80ada4ab
equal deleted inserted replaced
3256:0a45cdd7da37 3257:4e3724e0659f