| Thu, 01 Feb 2001 20:43:41 +0100 | wenzelm | added "numerals" theorems; | changeset | files |
| Thu, 01 Feb 2001 20:43:14 +0100 | wenzelm | thms_containing: term args; | changeset | files |
| Thu, 01 Feb 2001 20:42:34 +0100 | wenzelm | * Pure: 'thms_containing' now takes actual terms as arguments; | changeset | files |