| Thu, 12 Sep 2013 10:34:11 +0200 | Christian Urban |
updated to new Isabelle | file | diff | annotate |
| Mon, 03 Dec 2012 08:16:58 +0000 | Christian Urban |
made changes and updates to the journal paper | file | diff | annotate |
| Fri, 13 Apr 2012 13:12:43 +0000 | urbanc | made the changes thes 2nd referee suggested and made it to compile again | file | diff | annotate |
| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |
| Fri, 05 Aug 2011 05:34:11 +0000 | urbanc | more on the derivatives section | file | diff | annotate |
| Wed, 03 Aug 2011 12:36:23 +0000 | urbanc | more on the paper | file | diff | annotate |
| Wed, 03 Aug 2011 00:52:41 +0000 | urbanc | cleaned up the proofs in Myhill_2 | file | diff | annotate |
| Tue, 02 Aug 2011 15:27:37 +0000 | urbanc | a version of the proof which dispenses with the notion of string-subtraction | file | diff | annotate |