Tue, 01 Dec 2009 12:16:45 +0100 | Cezary Kaliszyk | Cleaning 'aps'. | changeset | files |
Mon, 30 Nov 2009 15:40:22 +0100 | Cezary Kaliszyk | merge | changeset | files |
Mon, 30 Nov 2009 15:36:49 +0100 | Christian Urban | cleaned inj_regabs_trm | changeset | files |
Mon, 30 Nov 2009 15:33:06 +0100 | Cezary Kaliszyk | merge | changeset | files |
Mon, 30 Nov 2009 15:32:14 +0100 | Cezary Kaliszyk | clean_tac rewrites the definitions the other way | changeset | files |
Mon, 30 Nov 2009 13:58:05 +0100 | Christian Urban | merged | changeset | files |
Mon, 30 Nov 2009 12:26:08 +0100 | Christian Urban | added facilities to get all stored quotient data (equiv thms etc) | changeset | files |