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;