diff -r 9978fc6d91e9 -r 9a8decba77c5 Nominal/Lift.thy