| Tue, 12 Sep 2006 17:03:52 +0200 | huffman | realpow_divide -> power_divide | changeset | files |
| Tue, 12 Sep 2006 16:44:04 +0200 | huffman | remove extra dependency | changeset | files |
| 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 |