| Thu, 17 Jan 2002 21:03:55 +0100 | wenzelm | added add_term_free_names (more precise/efficient than add_term_names); | changeset | files |
| Thu, 17 Jan 2002 21:03:29 +0100 | wenzelm | renamed norm_hhf to norm_hhf_rule; | changeset | files |
| Thu, 17 Jan 2002 21:02:52 +0100 | wenzelm | added is_norm_hhf (from logic.ML); | changeset | files |
| Thu, 17 Jan 2002 21:02:18 +0100 | wenzelm | MetaSimplifier.rewrite_term replaces slow Tactic.rewrite_cterm; | changeset | files |
| Thu, 17 Jan 2002 21:01:17 +0100 | wenzelm | MetaSimplifier.rewrite_term replaces slow Tactic.rewrite_cterm; | changeset | files |
| Thu, 17 Jan 2002 21:00:38 +0100 | wenzelm | eta_contract with sharing (by berghofe); | changeset | files |
| Thu, 17 Jan 2002 20:59:46 +0100 | wenzelm | is_norm_hhf moved to drule.ML; | changeset | files |