| 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 |
| Tue, 31 Jan 2012 16:26:36 +0000 | Christian Urban | 2 typos found by John Wickerson in QPaper | file | diff | annotate |
| Thu, 22 Dec 2011 05:15:37 +0000 | Christian Urban | moved TODO into the paper | file | diff | annotate |
| Thu, 22 Dec 2011 04:46:37 +0000 | Christian Urban | some slight tuning | file | diff | annotate |
| Tue, 20 Dec 2011 17:54:53 +0900 | Cezary Kaliszyk | Added an initial version of qpaper-jv and a TODO of things to write about. | file | diff | annotate |