src/Pure/net.ML
2011-11-08 ago tuned;
2010-06-24 ago Net.encode_type;
2009-11-01 ago added insert_safe, delete_safe variants;
2009-01-21 ago removed Ids;
2007-05-31 ago simplified/unified list fold;
2006-07-11 ago Name.bound;
2006-07-04 ago added content;
2006-04-27 ago tuned basic list operators (flat, maps, map_filter);
2006-02-06 ago tuned;
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-01 ago curried_lookup/update;
2005-08-01 ago nameless Term.bound;
2005-07-28 ago Term.bound;
2005-07-14 ago tuned;
2005-07-13 ago added subtract;
2005-07-06 ago removed timers;
2005-07-06 ago use Symtab.table instead of ordered lists;
2005-07-05 ago tuned;
2005-07-04 ago use fast_string_ord;
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2001-11-29 ago most general type of delete/delete_term;
1999-10-27 ago now more than 256 generated bound variables possible
1999-04-29 ago Eta contraction is now performed all the time during rewriting.
1997-07-23 ago fixed polymorphic val;
1997-07-22 ago tuned title;
1997-07-22 ago added dest and merge operations;
1997-03-25 ago Toby's better treatment of eta-contraction
1997-03-14 ago Avoid eta-contraction in the simplifier.
1997-02-21 ago Replaced "flat" by the Basis Library function List.concat
1996-11-26 ago Eta-expansion of a function definition, for value polymorphism
1996-02-16 ago Elimination of fully-functorial style.
1996-01-29 ago inserted tabs again
1996-01-29 ago removed tabs
1994-01-18 ago some optimizations of Larry's
1994-01-14 ago optimized net for matching of abstractions to speed up simplifier
1993-09-16 ago Initial revision