| Fri, 21 May 2004 21:24:22 +0200 | wenzelm | adapted tsig interface; | file | diff | annotate |
| Thu, 22 Apr 2004 10:52:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 10 May 2003 20:53:02 +0200 | berghofe | Added new function eta_long. | file | diff | annotate |
| Fri, 04 Apr 2003 17:00:25 +0200 | berghofe | type_of_G now applies type substitution before decomposing type. | file | diff | annotate |
| Fri, 11 Oct 2002 12:47:52 +0200 | berghofe | norm_typ -> Envir.norm_type | file | diff | annotate |
| Thu, 10 Oct 2002 19:02:23 +0200 | nipkow | added failure trace information to pattern unification | file | diff | annotate |
| Fri, 31 May 2002 18:47:11 +0200 | berghofe | Changes to rewrite_term: | file | diff | annotate |
| Thu, 28 Feb 2002 19:23:14 +0100 | wenzelm | rewrite_term: Term.rename_abs; | file | diff | annotate |
| Mon, 21 Jan 2002 14:48:11 +0100 | berghofe | Removed timing function. | file | diff | annotate |
| Fri, 18 Jan 2002 18:36:19 +0100 | wenzelm | rewrite_term: removed rew0, so no on-the-fly eta-contraction; | file | diff | annotate |
| Thu, 17 Jan 2002 21:00:38 +0100 | wenzelm | eta_contract with sharing (by berghofe); | file | diff | annotate |
| Wed, 16 Jan 2002 23:18:20 +0100 | wenzelm | added rewrite_term; | file | diff | annotate |
| Wed, 16 Jan 2002 22:23:46 +0100 | wenzelm | added beta_eta_contract; | file | diff | annotate |
| Tue, 18 Dec 2001 02:17:20 +0100 | wenzelm | tuned Type.unify; | file | diff | annotate |
| Mon, 19 Nov 2001 17:34:02 +0100 | berghofe | Replaced devar by Envir.head_norm | file | diff | annotate |