Nominal-General/Nominal2_Eqvt.thy
changeset 2115 9b109ef7bf47
parent 2080 0532006ec7ec
child 2129 f38adea0591c