Quot/Nominal/Nominal2_Supp.thy
changeset 1244 605a0ebe87da
parent 1080 2f1377bb4e1f