| Wed, 07 May 2008 10:59:45 +0200 | berghofe | Replaced Pattern.eta_contract_atom by Envir.eta_contract. | file | diff | annotate |
| Tue, 22 Jul 1997 11:12:55 +0200 | paulson | Removal of the tactical STATE | file | diff | annotate |
| Wed, 05 Mar 1997 10:08:32 +0100 | paulson | Now uses eta_contract_atom for greater speed | file | diff | annotate |
| Mon, 29 Jan 1996 13:58:15 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 07 Apr 1995 10:12:01 +0200 | lcp | Local version of (original) hypsubst: needs no simplifier | file | diff | annotate |