Quot/Nominal/Nominal2_Base.thy
changeset 1250 d1ab27c10049
parent 1087 bb7f4457091a