src/Pure/General/symbol.ML
changeset 12902 a23dc0b7566f
parent 12116 4027b15377a5
child 12904 c208d71702d1