| Mon, 08 Oct 2007 07:38:13 +0200 | urbanc | Isar-fied many proofs | file | diff | annotate |
| Tue, 24 Jul 2007 20:34:11 +0200 | urbanc | cleaned up the proofs a bit | file | diff | annotate |
| Wed, 11 Jul 2007 11:36:06 +0200 | berghofe | Renamed inductive2 to inductive. | file | diff | annotate |