Nominal/Parser.thy
changeset 1481 401b61d1bd8a
parent 1480 21cbb5b0e321
child 1486 f86710d35146