Nominal/Nominal2_Base.thy
changeset 3144 57dcb5c0d5db
parent 3134 301b74fcd614
child 3147 d24e70483051