| 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 |
| 2011-02-19 | urbanc | ALT case done | file | diff | annotate |
| 2011-02-19 | urbanc | first two proofs in 2 direction | file | diff | annotate |
| 2011-02-19 | urbanc | first proof | file | diff | annotate |
| 2011-02-19 | urbanc | updated second direction | file | diff | annotate |
| 2011-02-18 | urbanc | polished everything | file | diff | annotate |
| 2011-02-17 | urbanc | more on the conclusion | file | diff | annotate |
| 2011-02-16 | urbanc | minor updated | file | diff | annotate |
| 2011-02-13 | zhang | More into the second direction | file | diff | annotate |
| 2011-02-07 | urbanc | parts of the 3 section | file | diff | annotate |
| 2011-02-03 | zhang | Myhill_2.thy added | file | diff | annotate |