| 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 |
| Tue, 11 Jul 2006 12:17:06 +0200 | wenzelm | Name.dest_skolem; | changeset | files |
| Tue, 11 Jul 2006 12:17:05 +0200 | wenzelm | Name.bound; | changeset | files |
| Tue, 11 Jul 2006 12:17:04 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | changeset | files |
| Tue, 11 Jul 2006 12:17:03 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | changeset | files |
| Tue, 11 Jul 2006 12:17:02 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | changeset | files |
| Tue, 11 Jul 2006 12:17:01 +0200 | wenzelm | Name.invent_list; | changeset | files |