Thu, 01 Feb 2001 20:44:19 +0100 | wenzelm | tuned | changeset | files |
Thu, 01 Feb 2001 20:43:59 +0100 | wenzelm | tuned; | changeset | files |
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 |
Thu, 01 Feb 2001 18:47:31 +0100 | oheimb | added sum_case_map_upd_empty, sum_case_empty_map_upd, and | changeset | files |