| Sat, 25 Mar 2000 12:59:31 +0100 | wenzelm | tuned antiquote_tr'; | file | diff | annotate |
| Thu, 23 Mar 2000 11:28:10 +0100 | wenzelm | tuned spacing; | file | diff | annotate |
| Sat, 04 Sep 1999 21:04:30 +0200 | wenzelm | removed "_BIND" translation; | file | diff | annotate |
| Wed, 02 Jun 1999 22:27:01 +0200 | wenzelm | added dddot_tr; | file | diff | annotate |
| Tue, 20 Oct 1998 16:30:27 +0200 | wenzelm | no open; | file | diff | annotate |
| Mon, 10 Aug 1998 17:03:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 25 Jun 1998 15:37:36 +0200 | wenzelm | tuned loose bound vars check; | file | diff | annotate |
| Mon, 09 Mar 1998 16:11:28 +0100 | wenzelm | read_var; | file | diff | annotate |
| Wed, 05 Nov 1997 11:43:37 +0100 | wenzelm | adapted pure_trfunsT; | file | diff | annotate |
| Fri, 17 Oct 1997 18:19:14 +0200 | wenzelm | no longer tries bogus eta-contract involving aprops; | file | diff | annotate |
| Mon, 06 Oct 1997 18:23:13 +0200 | wenzelm | eliminated raise_ast, raise_term, raise_typ; | file | diff | annotate |
| Wed, 24 Sep 1997 10:51:52 +0200 | wenzelm | pure_trfuns: added constraint; | file | diff | annotate |
| Mon, 22 Sep 1997 17:31:28 +0200 | wenzelm | tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts | file | diff | annotate |
| Fri, 28 Feb 1997 16:44:30 +0100 | wenzelm | added mark_bound(T), variant_abs'; | file | diff | annotate |
| Fri, 16 Feb 1996 17:24:51 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Sun, 12 Nov 1995 13:14:13 +0100 | nipkow | Set eta_contract to true. | file | diff | annotate |
| Mon, 03 Jul 1995 15:39:53 +0200 | clasohm | added cargs for curried function application | file | diff | annotate |
| Thu, 30 Mar 1995 14:07:52 +0200 | clasohm | changed translation of _applC | file | diff | annotate |
| Fri, 03 Mar 1995 11:48:05 +0100 | clasohm | added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure) | file | diff | annotate |
| Wed, 12 Oct 1994 16:34:00 +0100 | wenzelm | remove _explode, _implode and trfuns; | file | diff | annotate |
| Mon, 26 Sep 1994 17:34:59 +0100 | wenzelm | explode_tr now produces leadings 0s; | file | diff | annotate |
| Fri, 19 Aug 1994 15:34:28 +0200 | wenzelm | added this file; | file | diff | annotate |