src/Pure/Syntax/symbol.ML
changeset 6115 c70bce7deb0f
parent 5909 3fc6497f1c7b