| Mon, 26 Oct 2009 14:18:26 +0100 | Christian Urban | merged | file | diff | annotate |
| Mon, 26 Oct 2009 13:33:28 +0100 | Cezary Kaliszyk | Symmetry of integer addition | file | diff | annotate |
| Mon, 26 Oct 2009 11:55:36 +0100 | Cezary Kaliszyk | Finished the code for adding lower defs, and more things moved to QuotMain | file | diff | annotate |
| Mon, 26 Oct 2009 10:02:50 +0100 | Cezary Kaliszyk | Cleaning and fixing. | file | diff | annotate |
| Sun, 25 Oct 2009 23:44:41 +0100 | Christian Urban | added code for declaring map-functions | file | diff | annotate |
| Sun, 25 Oct 2009 00:14:40 +0200 | Christian Urban | added data-storage about the quotients | file | diff | annotate |
| Sat, 24 Oct 2009 18:17:38 +0200 | Christian Urban | changed the definitions of liftet constants to use fun_maps | file | diff | annotate |
| Sat, 24 Oct 2009 16:09:05 +0200 | Christian Urban | moved the map_funs setup into QuotMain | file | diff | annotate |