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