src/Pure/General/table.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-24 wenzelm 2001-11-24 added join, merge_multi('); tuned extend, make, merge;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-03-30 wenzelm 2000-03-30 export update_multi;
2000-03-10 berghofe 2000-03-10 Added function min_key.
1999-07-22 wenzelm 1999-07-22 added exists;
1999-01-13 wenzelm 1999-01-13 fixed titles;
1998-10-20 wenzelm 1998-10-20 added foldl, keys;
1998-06-10 wenzelm 1998-06-10 moved table.ML to General/table.ML;