src/Pure/symtab.ML
changeset 3044 3e3087aa69e7
parent 2672 85d7e800d754
child 4483 caf8ae95c61f