| Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | file | diff | annotate |
| Wed, 08 Mar 2006 18:00:00 +0100 | urbanc | deleted some proofs "on comment" | file | diff | annotate |
| Wed, 11 Jan 2006 18:38:32 +0100 | urbanc | changes to make use of the new induction principle proved by | file | diff | annotate |
| Wed, 11 Jan 2006 17:07:57 +0100 | urbanc | tuned proofs | file | diff | annotate |
| Sat, 07 Jan 2006 13:50:38 +0100 | urbanc | another change for the new induct-method | file | diff | annotate |
| Sat, 07 Jan 2006 11:36:58 +0100 | urbanc | changed PRO_RED proof to conform with the new induction rules | file | diff | annotate |
| Sun, 11 Dec 2005 11:57:01 +0100 | urbanc | ISAR-fied some proofs | file | diff | annotate |