diff -r 7412424213ec -r 49cc1af89de9 Nominal/Ex/SingleLet.thy