diff -r f5e037fd7c01 -r a83ee7ecb1cb Quot/Nominal/Terms.thy