Nominal/Parser.thy
changeset 2172 fd5eec72c3f5
parent 2138 2e514a0aca63