| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Wed, 05 May 2010 18:25:34 +0200 | haftmann | farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =) | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Sat, 29 Aug 2009 12:01:25 +0200 | wenzelm | eliminated hard tabs; | file | diff | annotate |
| 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 |