1997-09-24 wenzelm 1997-09-24 pure_trfuns: added constraint;
1997-09-22 wenzelm 1997-09-22 tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts vs. pttrn/pttrns;
1997-02-28 wenzelm 1997-02-28 added mark_bound(T), variant_abs'; trfuns now mark bounds they introduce!! added pure_trfunsT;
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.
1995-11-12 nipkow 1995-11-12 Set eta_contract to true.
1995-07-03 clasohm 1995-07-03 added cargs for curried function application
1995-03-30 clasohm 1995-03-30 changed translation of _applC
1995-03-03 clasohm 1995-03-03 added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
1994-10-12 wenzelm 1994-10-12 remove _explode, _implode and trfuns;
1994-09-26 wenzelm 1994-09-26 explode_tr now produces leadings 0s; implode_ast_tr' now quotes result;
1994-08-19 wenzelm 1994-08-19 added this file;