Quot/Nominal/Nominal2_Supp.thy
changeset 1108 e97bdbc84421
parent 1080 2f1377bb4e1f