2007-04-14 ago Term.string_of_vname;
2007-01-24 ago tuned eta_contract;
2006-12-12 ago added expand_term_frees;
2006-12-07 ago added expand_term;
2006-09-21 ago tuned eta_contract;
2006-09-15 ago renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
2006-07-11 ago removed obsolete xless;
2006-06-12 ago tuned Seq/Envir/Unify interfaces;
2006-04-13 ago expand_atom: Type.raw_match;
2006-02-06 ago added (beta_)eta_contract (from pattern.ML);
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-01 ago curried_lookup/update;
2005-07-01 ago Fixed bug: lookup' must use = instead of eq_type to compare types of
2005-04-21 ago - Eliminated nodup_vars check.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2001-12-14 ago added type_env function;
2001-11-19 ago Moved head_norm and fastype from unify.ML to envir.ML
2001-08-31 ago - exported SAME exception
2000-11-17 ago added beta_norm;
2000-03-10 ago Envir now uses Vartab instead of association lists.
1998-08-10 ago fixed comment;
1996-11-18 ago Speedups involving norm
1996-11-13 ago In-lined the one function call to normTsh
1996-11-01 ago Deleted Olist constructor. Replaced minidx by "above" function
1996-02-16 ago Elimination of fully-functorial style.
1996-01-29 ago inserted tabs again
1996-01-29 ago removed tabs
1994-11-21 ago Pure/envir/norm_term: replaced equality test for [] by null
1994-01-24 ago added is_empty: env -> bool, minidx: env -> int option;
1993-09-16 ago Initial revision