Nominal/Nominal2_Abs.thy
changeset 3105 1b0d230445ce
parent 3104 f7c4b8e6918b
child 3152 da59c94bed7e