Quot/Nominal/Nominal2_Base.thy
changeset 1228 c179ad9d2446
parent 1087 bb7f4457091a