Nominal/Parser.thy
changeset 1850 05b2dd2b0e8a
parent 1830 8db45a106569
child 1876 b2efe803f1da