src/Pure/Syntax/lexicon.ML
changeset 3362 0b268cff9344
parent 2583 690835a06cf2
child 3828 f6a7ca242dc2