Nominal/Parser.thy
changeset 1871 c704d129862b
parent 1830 8db45a106569
child 1876 b2efe803f1da