| Mon, 26 Oct 2009 11:55:36 +0100 | Cezary Kaliszyk | Finished the code for adding lower defs, and more things moved to QuotMain | changeset | files |
| Mon, 26 Oct 2009 11:34:02 +0100 | Cezary Kaliszyk | Making all the definitions from the original ones | changeset | files |
| Mon, 26 Oct 2009 10:20:20 +0100 | Cezary Kaliszyk | Finished COND_PRS proof. | changeset | files |
| Mon, 26 Oct 2009 10:02:50 +0100 | Cezary Kaliszyk | Cleaning and fixing. | changeset | files |
| Mon, 26 Oct 2009 02:06:01 +0100 | Christian Urban | updated with quotient_def | changeset | files |
| Sun, 25 Oct 2009 23:44:41 +0100 | Christian Urban | added code for declaring map-functions | changeset | files |
| Sun, 25 Oct 2009 01:31:04 +0200 | Christian Urban | added "print_quotients" command to th ekeyword file | changeset | files |