src/Pure/symtab.ML
changeset 1868 836950047d85
parent 1415 cef540a0a10e
child 2228 f381c1a98209