| Mon, 03 Dec 2012 08:16:58 +0000 | Christian Urban |
made changes and updates to the journal paper | file | diff | annotate |
| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |
| Sun, 31 Jul 2011 10:27:41 +0000 | urbanc | some experiments with the proofs in Myhill_2 | file | diff | annotate |
| Thu, 28 Jul 2011 14:22:10 +0000 | urbanc | small improvements | file | diff | annotate |