Nominal/NewParser.thy
changeset 2370 43da9adf4759
parent 2361 d73d4d151cce
child 2378 2f13fe48c877