Mon, 19 Nov 2001 20:46:38 +0100 | wenzelm | fixed comment; | changeset | files |
Mon, 19 Nov 2001 20:46:05 +0100 | wenzelm | induct method: localize rews for rule; | changeset | files |
Mon, 19 Nov 2001 17:42:00 +0100 | berghofe | Now handles different theorems with same name more gracefully. | changeset | files |
Mon, 19 Nov 2001 17:40:45 +0100 | berghofe | Improved error message. | changeset | files |
Mon, 19 Nov 2001 17:40:07 +0100 | berghofe | Added setup. | changeset | files |
Mon, 19 Nov 2001 17:39:31 +0100 | berghofe | Moved fastype to Envir. | changeset | files |
Mon, 19 Nov 2001 17:38:09 +0100 | berghofe | Further restructuring of theorem naming functions. | changeset | files |