| Wed, 31 Dec 2008 20:59:00 +0100 | wenzelm | removed unused add_term_free_names; | changeset | files |
| Wed, 31 Dec 2008 20:31:36 +0100 | wenzelm | eliminated OldTerm.add_term_free_names; | changeset | files |
| Wed, 31 Dec 2008 19:56:38 +0100 | wenzelm | updated header; | changeset | files |
| Wed, 31 Dec 2008 19:54:04 +0100 | wenzelm | Term.declare_typ_names, Term.declare_term_frees; | changeset | files |
| Wed, 31 Dec 2008 19:54:04 +0100 | wenzelm | added declare_term_frees; | changeset | files |
| Wed, 31 Dec 2008 19:54:04 +0100 | wenzelm | Term.declare_term_frees; | changeset | files |
| Wed, 31 Dec 2008 19:54:03 +0100 | wenzelm | qualified Term.rename_wrt_term; | changeset | files |