Thu, 03 Dec 2009 14:02:05 +0100 | Christian Urban | merged | changeset | files |
Thu, 03 Dec 2009 14:00:43 +0100 | Christian Urban | merged | changeset | files |
Thu, 03 Dec 2009 13:59:53 +0100 | Christian Urban | first version of internalised quotient theorems; added FIXME-TODO | changeset | files |