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