Quot/Nominal/Nominal2_Eqvt.thy
changeset 1116 3acc7d25627a
parent 1087 bb7f4457091a