| Thu, 04 Oct 2001 11:29:46 +0200 |
wenzelm |
added print_induct_rules;
|
changeset |
files
|
| Thu, 04 Oct 2001 11:29:25 +0200 |
wenzelm |
tuned print operation;
|
changeset |
files
|
| Thu, 04 Oct 2001 11:29:02 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 04 Oct 2001 11:28:30 +0200 |
wenzelm |
* moved induct/cases attributes to Pure, added 'print_induct_rules' command;
|
changeset |
files
|
| Thu, 04 Oct 2001 11:28:12 +0200 |
wenzelm |
print_induct_rules;
|
changeset |
files
|
| Thu, 04 Oct 2001 11:22:10 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 04 Oct 2001 00:53:27 +0200 |
berghofe |
Fixed bug in decompose.
|
changeset |
files
|
| Wed, 03 Oct 2001 21:03:05 +0200 |
wenzelm |
Tools/induct_attrib.ML now part of Pure;
|
changeset |
files
|
| Wed, 03 Oct 2001 21:01:53 +0200 |
wenzelm |
Isar/induct_attrib.ML;
|
changeset |
files
|
| Wed, 03 Oct 2001 20:58:27 +0200 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Wed, 03 Oct 2001 20:55:31 +0200 |
wenzelm |
moved HOL/Tools/induct_attrib.ML to Pure/Isar/induct_attrib.ML;
|
changeset |
files
|
| Wed, 03 Oct 2001 20:54:16 +0200 |
wenzelm |
tuned parentheses in relational expressions;
|
changeset |
files
|