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 |
Wed, 23 Jun 2010 22:41:16 +0100 | Christian Urban | polished paper again (and took out some claims about Homeier's package) | changeset | files |
Wed, 23 Jun 2010 15:59:43 +0100 | Christian Urban | some slight polishing on the paper | changeset | files |
Wed, 23 Jun 2010 15:40:00 +0100 | Christian Urban | merged cezary's changes | changeset | files |
Wed, 23 Jun 2010 15:21:04 +0100 | Christian Urban | whitespace | changeset | files |