| Wed, 29 Aug 2012 13:05:46 +0000 | urbanc | for slides | file | diff | annotate |
| Wed, 22 Feb 2012 13:25:49 +0000 | urbanc | partially updated conference paper; slightly tuned journal paper | file | diff | annotate |
| Mon, 20 Feb 2012 11:02:50 +0000 | urbanc | some polishing of the repository | file | diff | annotate |
| Sun, 20 Nov 2011 22:53:50 +0000 | urbanc | added slides for a talk in St Andrews | file | diff | annotate |
| Mon, 22 Aug 2011 12:49:27 +0000 | urbanc | changes according to afp-submission | file | diff | annotate |
| Wed, 18 May 2011 19:54:43 +0000 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate |
| Mon, 07 Feb 2011 11:12:36 +0000 | urbanc | added an option fullpaper to IsaMakefile | file | diff | annotate |
| Fri, 04 Feb 2011 22:54:29 +0000 | urbanc | more on the introduction | file | diff | annotate |