| 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 |