| 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 |