| Fri, 05 Oct 2001 21:50:37 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 04 Oct 2001 16:07:43 +0200 |
wenzelm |
improved proof by cases and induction;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2001 11:28:30 +0200 |
wenzelm |
* moved induct/cases attributes to Pure, added 'print_induct_rules' command;
|
file |
diff |
annotate
|
| Wed, 03 Oct 2001 20:58:27 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 28 Sep 2001 19:23:58 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 27 Sep 2001 22:30:09 +0200 |
wenzelm |
HOL: eliminated global items;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2001 22:24:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2001 20:02:09 +0200 |
wenzelm |
* system: support Poly/ML 4.1.1 (large heaps);
|
file |
diff |
annotate
|
| Tue, 04 Sep 2001 21:10:57 +0200 |
wenzelm |
renamed "antecedent" case to "rule_context";
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 22:46:23 +0200 |
wenzelm |
* Proof General keywords specification is now part of the Isabelle
|
file |
diff |
annotate
|
| Thu, 09 Aug 2001 10:16:23 +0200 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
| Wed, 08 Aug 2001 17:37:47 +0200 |
wenzelm |
* HOL: syntax translations now work properly with numerals and records
|
file |
diff |
annotate
|
| Tue, 07 Aug 2001 22:42:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2001 22:41:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2001 22:02:45 +0200 |
wenzelm |
HOL: added "The";
|
file |
diff |
annotate
|