| Thu, 17 Jan 2002 21:05:58 +0100 | wenzelm | atomize_term replaces atomize_cterm; | changeset | files |
| Thu, 17 Jan 2002 21:05:40 +0100 | wenzelm | ObjectLogic.atomize_term replaces ObjectLogic.atomize_cterm; | changeset | files |
| Thu, 17 Jan 2002 21:04:48 +0100 | wenzelm | Thm.prop_of; | changeset | files |
| Thu, 17 Jan 2002 21:04:36 +0100 | wenzelm | Tactic.norm_hhf renamed to Tactic.norm_hhf_rule; | changeset | files |
| Thu, 17 Jan 2002 21:04:16 +0100 | wenzelm | added prop_of: thm -> term (at last!); | changeset | files |
| Thu, 17 Jan 2002 21:03:55 +0100 | wenzelm | added add_term_free_names (more precise/efficient than add_term_names); | changeset | files |