| 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 |