diff -r 4efbaba9d754 -r 2f4ce88c2c96 Quot/Nominal/Terms.thy