| Mon, 19 Nov 2001 23:37:01 +0100 |
wenzelm |
improved treatment of common result name;
|
changeset |
files
|
| Mon, 19 Nov 2001 20:47:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 19 Nov 2001 20:47:39 +0100 |
wenzelm |
multi_theorem: common statement header (covers *all* results);
|
changeset |
files
|
| 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
|
| Mon, 19 Nov 2001 17:36:40 +0100 |
berghofe |
Added setup for proof rewrite rules.
|
changeset |
files
|
| Mon, 19 Nov 2001 17:36:05 +0100 |
berghofe |
- Fixed bug in shrink
|
changeset |
files
|