| Wed, 22 Feb 2012 12:10:17 +0000 | Christian Urban | slight polish of the qpaper-jv | file | diff | annotate |
| Thu, 09 Feb 2012 15:18:10 +0100 | Cezary Kaliszyk | qpaper-jv: merge and add to TODOs in the paper and in front. | file | diff | annotate |
| Thu, 09 Feb 2012 14:47:24 +0100 | Cezary Kaliszyk | minor | file | diff | annotate |
| Fri, 03 Feb 2012 16:36:18 +0100 | Cezary Kaliszyk | Use the theorem by Brian, requires new Isabelle. | file | diff | annotate |