| Tue, 09 Aug 2011 22:15:11 +0000 | urbanc | more on paper | file | diff | annotate |
| Fri, 05 Aug 2011 05:34:11 +0000 | urbanc | more on the derivatives section | file | diff | annotate |
| Sun, 31 Jul 2011 10:27:41 +0000 | urbanc | some experiments with the proofs in Myhill_2 | file | diff | annotate |