src/Pure/symtab.ML
changeset 1194 563ecd14c1d8
parent 563 e9bf62651beb
child 1415 cef540a0a10e