Nominal-General/Nominal2_Eqvt.thy
changeset 2488 1c18f2cf3923
parent 2479 a9b6a00b1ba0
child 2565 6bf332360510