Mon, 29 Mar 2010 00:30:20 +0200 | Christian Urban | more on the paper | changeset | files |
Sun, 28 Mar 2010 22:54:38 +0200 | Christian Urban | got rid of the aux-function on the raw level, by defining it with function on the quotient level | changeset | files |