src/Pure/symtab.ML
1997-02-21 paulson 1997-02-21 Replaced "flat" by the Basis Library function List.concat
1996-11-26 paulson 1996-11-26 Eta-expansion of a function definition, for value polymorphism
1995-12-22 paulson 1995-12-22 Removed obsolete alist_of and st_of_alist. Is now simply a structure instead of a functor.
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