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 |