| Wed, 26 May 2010 17:55:42 +0200 | Cezary Kaliszyk | qpaper / lifting introduction | file | diff | annotate |
| Wed, 26 May 2010 17:20:59 +0200 | Cezary Kaliszyk | merged | file | diff | annotate |
| Wed, 26 May 2010 17:19:16 +0200 | Christian Urban | fixed compile error | file | diff | annotate |
| Wed, 26 May 2010 17:10:05 +0200 | Cezary Kaliszyk | qpaper / composition of quotients. | file | diff | annotate |