Nominal/Lift.thy
changeset 1549 74888979e9cd
parent 1498 2ff84b1f551f
child 1553 4355eb3b7161
equal deleted inserted replaced
1548:708cd99307a2 1549:74888979e9cd