Thu, 24 Jun 2010 19:32:33 +0100 | Christian Urban | fixed according to changes in quotient | changeset | files |
Thu, 24 Jun 2010 00:41:41 +0100 | Christian Urban | added comment about partial equivalence relations | changeset | files |
Thu, 24 Jun 2010 00:27:37 +0100 | Christian Urban | even further polishing of the qpaper | changeset | files |