src/Pure/symtab.ML
1994-08-19 wenzelm 1994-08-19 replaced mapst by map; added find_first;
1994-07-15 clasohm 1994-07-15 added function mapst
1994-05-18 wenzelm 1994-05-18 added make, dest, extend_new; added exception DUPS;
1994-01-19 wenzelm 1994-01-19 minor cleanup; added extend, merge; added {lookup,make,dest}_multi;
1993-09-16 clasohm 1993-09-16 Initial revision