Nominal/Lift.thy
changeset 1315 43d6e3730353
parent 1309 b395b902cf0d
child 1316 0577afdb1732