| Thu, 17 Jan 2002 21:06:23 +0100 | wenzelm | RuleCases.make interface based on term instead of thm; | changeset | files |
| 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 |