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