Nominal/NewParser.thy
changeset 2443 5606de1e5034
parent 2440 0a36825b16c1
child 2448 b9d9c4540265