Quot/Nominal/Nominal2_Base.thy
changeset 1108 e97bdbc84421
parent 1087 bb7f4457091a