| Sat, 17 Jul 2010 12:01:04 +0100 | Christian Urban | changes suggested by Peter Homeier | file | diff | annotate |
| Thu, 24 Jun 2010 00:41:41 +0100 | Christian Urban | added comment about partial equivalence relations | file | diff | annotate |
| Thu, 24 Jun 2010 00:27:37 +0100 | Christian Urban | even further polishing of the qpaper | file | diff | annotate |