src/Pure/symtab.ML
changeset 2792 6c17c5ec3d8b
parent 2672 85d7e800d754
child 4483 caf8ae95c61f