diff -r df3a952c6a67 -r 8728f7990f6d Nominal/Ex/SingleLet.thy