| Tue, 12 Sep 2006 14:50:11 +0200 | wenzelm | more on terms; | changeset | files |
| Tue, 12 Sep 2006 12:16:17 +0200 | wenzelm | Efficient term substitution -- avoids copying. | changeset | files |
| Tue, 12 Sep 2006 12:12:57 +0200 | wenzelm | ctyp: maintain maxidx; | changeset | files |
| Tue, 12 Sep 2006 12:12:55 +0200 | wenzelm | removed obsolete aconvs (use eq_list aconv); | changeset | files |
| Tue, 12 Sep 2006 12:12:53 +0200 | wenzelm | tuned eq_list; | changeset | files |
| Tue, 12 Sep 2006 12:12:46 +0200 | wenzelm | moved term subst functions to TermSubst; | changeset | files |