diff -r c004e7448dca -r f86710d35146 Nominal/Test.thy