**************************************************************** JULY 27 -- Guy Blelloch **************************************************************** Got rid of references to the SML/NJ lib. Replaced ORD_KEY with TOTAL_ORDER, and moved the splay-tree code from the SML/NJ lib to this directory. **************************************************************** JULY 25 -- Guy Blelloch **************************************************************** Added a new SET signature and a functor SetFromTable that generates a SET from a Table. Also included IntSet (a set with integer keys). To TABLE: added several functions, changed some names, and changed some argument orders. A summary is given below. I also modified the matrix, simpcomp, and pqueue library code to account for these changes. name changed: type key -> type index added: exception NoEntry added: elt (curried version of find) changed args: insert (from (k,v,t) to ((k,v),t)) name changed: delete -> deleteReturn added : delete (does not return previous value) name changed: generalUpdate -> updateReturn name changed: foldr -> foldrIdx added : foldr (does not take the index) name changed: foldl -> foldlIdx added : foldl (does not take the index) added : mapIdx name changed: mapd -> filter added : filterIdx added : unionIdx, intersectIdx, diffIdx changed types: toList returns index as well as value **************************************************************** JULY 19 -- Guy Blelloch **************************************************************** Added this file and a README.html file. Also changed the name of the function "updt" to "generalUpdate". The semantics of the function was not changed.