src/Pure/symtab.ML
1994-08-19 ago replaced mapst by map;
1994-07-15 ago added function mapst
1994-05-18 ago added make, dest, extend_new;
1994-01-19 ago minor cleanup;
1993-09-16 ago Initial revision