| Wed, 01 Mar 2006 18:24:31 +0100 | urbanc | streamlined the proof | file | diff | annotate |
| Wed, 01 Mar 2006 00:04:52 +0100 | urbanc | some minor tuning on the proofs | file | diff | annotate |
| Tue, 28 Feb 2006 12:28:22 +0100 | urbanc | initial commit (especially 2nd half needs to be cleaned up) | file | diff | annotate |