| 2011-06-02 | urbanc | updated theories and itp-paper | file | diff | annotate |
| 2011-05-18 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate |
| 2011-05-09 | urbanc | added comments from Chunhan | file | diff | annotate |
| 2011-03-23 | urbanc | added the most current versions of the theories. | file | diff | annotate |
| 2011-02-20 | urbanc | comments by Xingyuan | file | diff | annotate |
| 2011-02-20 | urbanc | finished picture | file | diff | annotate |
| 2011-02-20 | urbanc | added pictures for seq-case | file | diff | annotate |