Wed, 02 Aug 2006 22:26:49 +0200 | wenzelm | use proper RecdefPackage.get_hints; | changeset | files |
Wed, 02 Aug 2006 22:26:48 +0200 | wenzelm | removed obsolete Drule.frees/vars_of; | changeset | files |
Wed, 02 Aug 2006 22:26:47 +0200 | wenzelm | renamed thm_vars to thm_varnames; | changeset | files |