| Tue, 11 Jul 2006 12:17:16 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | changeset | files |
| Tue, 11 Jul 2006 12:17:13 +0200 | wenzelm | Name.internal; | changeset | files |
| Tue, 11 Jul 2006 12:17:12 +0200 | wenzelm | adapted to more efficient Name/Variable implementation; | changeset | files |
| Tue, 11 Jul 2006 12:17:11 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | changeset | files |
| Tue, 11 Jul 2006 12:17:09 +0200 | wenzelm | maintain Name.context for fixes/defaults; | changeset | files |
| Tue, 11 Jul 2006 12:17:08 +0200 | wenzelm | removed obsolete mem_ix; | changeset | files |
| Tue, 11 Jul 2006 12:17:07 +0200 | wenzelm | removed obsolete ins_ix, mem_ix, ins_term, mem_term; | changeset | files |