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 |
Thu, 03 Dec 2009 11:40:10 +0100 | Christian Urban | further dead code | changeset | files |
Thu, 03 Dec 2009 13:56:59 +0100 | Cezary Kaliszyk | Reintroduced varifyT; we still need it for permutation definition. | changeset | files |
Thu, 03 Dec 2009 13:45:52 +0100 | Cezary Kaliszyk | Updated the examples | changeset | files |