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 |