Nominal/Lift.thy
changeset 2396 f2f611daf480
parent 2335 558c823f96aa
child 2426 deb5be0115a7