| Mon, 09 May 2011 07:25:37 +0000 | urbanc | added comments from Chunhan | file | diff | annotate |
| Wed, 23 Mar 2011 12:17:30 +0000 | urbanc | added the most current versions of the theories. | file | diff | annotate |
| Sun, 20 Feb 2011 18:54:31 +0000 | urbanc | comments by Xingyuan | file | diff | annotate |
| Sun, 20 Feb 2011 12:51:04 +0000 | urbanc | finished picture | file | diff | annotate |
| Sun, 20 Feb 2011 08:12:13 +0000 | urbanc | added pictures for seq-case | file | diff | annotate |
| Sat, 19 Feb 2011 20:15:59 +0000 | urbanc | ALT case done | file | diff | annotate |
| Sat, 19 Feb 2011 19:27:33 +0000 | urbanc | first two proofs in 2 direction | file | diff | annotate |