| 2010-11-18 | wu | All cases of the Other direction finished | file | diff | annotate |
| 2010-11-08 | urbanc | slight tuning of proof by Chunhan | file | diff | annotate |
| 2010-11-06 | wu | the ALT case is done; | file | diff | annotate |
| 2010-11-03 | urbanc | added more experiments | file | diff | annotate |
| 2010-10-26 | urbanc | more experiments | file | diff | annotate |
| 2010-10-24 | urbanc | a few more experiments, but no proof for the ALT-case | file | diff | annotate |
| 2010-10-23 | wu | add some proofs about the other direction | file | diff | annotate |