Quot/Nominal/Nominal2_Eqvt.thy
changeset 1166 e860d8767d09
parent 1087 bb7f4457091a