Quot/Nominal/Nominal2_Supp.thy
changeset 1100 2fb07e01c57b
parent 1080 2f1377bb4e1f