Nominal/Lift.thy
changeset 1337 7ae031bd5d2f
parent 1316 0577afdb1732
child 1342 2b98012307f7