Nominal/Parser.thy
changeset 1438 61671de8a545
parent 1436 04dad9b0136d
child 1443 d78c093aebeb