| 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 |
| Sat, 19 Feb 2011 17:10:46 +0000 | urbanc | first proof | file | diff | annotate |
| Sat, 19 Feb 2011 12:01:16 +0000 | urbanc | updated second direction | file | diff | annotate |
| Fri, 18 Feb 2011 12:14:07 +0000 | urbanc | polished everything | file | diff | annotate |
| Thu, 17 Feb 2011 21:30:26 +0000 | urbanc | more on the conclusion | file | diff | annotate |
| Wed, 16 Feb 2011 12:25:53 +0000 | urbanc | minor updated | file | diff | annotate |
| Sun, 13 Feb 2011 10:36:53 +0000 | zhang | More into the second direction | file | diff | annotate |
| Mon, 07 Feb 2011 20:30:10 +0000 | urbanc | parts of the 3 section | file | diff | annotate |
| Thu, 03 Feb 2011 12:44:46 +0000 | zhang | Myhill_2.thy added | file | diff | annotate |