Nominal/Parser.thy
changeset 1367 9bbf56cdeb88
parent 1364 226693549aa0
child 1375 aa787c9b6955