| 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 |
| Wed, 31 Dec 2008 18:53:19 +0100 | wenzelm | moved old add_type_XXX, add_term_XXX etc. to structure OldTerm; | changeset | files |
| Wed, 31 Dec 2008 18:53:18 +0100 | wenzelm | use fold_aterms directly; | changeset | files |
| Wed, 31 Dec 2008 18:53:18 +0100 | wenzelm | use exists_Const directly; | changeset | files |
| Wed, 31 Dec 2008 18:53:17 +0100 | wenzelm | use regular Term.add_XXX etc.; | changeset | files |