Nominal/Nominal2_Abs.thy
changeset 3151 16e6140225af
parent 3104 f7c4b8e6918b
child 3152 da59c94bed7e