Nominal/Nominal2_Eqvt.thy
changeset 1325 0be098c61d00
parent 1315 43d6e3730353
child 1326 4bc9278a808d