| 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
|