| Tue, 18 May 2010 11:45:49 +0200 | Cezary Kaliszyk | starting bibliography | file | diff | annotate |
| Tue, 11 May 2010 14:58:46 +0100 | Christian Urban | a bit for the introduction of the q-paper | file | diff | annotate |
| Tue, 11 May 2010 12:18:26 +0100 | Christian Urban | added some of the quotient literature; a bit more to the qpaper | file | diff | annotate |
| Fri, 30 Apr 2010 10:04:24 +0200 | Cezary Kaliszyk | qpaper | file | diff | annotate |
| Thu, 29 Apr 2010 10:11:48 +0200 | Cezary Kaliszyk | quotient paper | file | diff | annotate |
| Thu, 29 Apr 2010 09:13:18 +0200 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |