Mon, 26 Oct 2009 15:31:53 +0100 Cezary Kaliszyk Simplifying Int and Working on map
Mon, 26 Oct 2009 14:18:26 +0100 Christian Urban merged
Mon, 26 Oct 2009 14:16:32 +0100 Cezary Kaliszyk Simplifying code in int
Mon, 26 Oct 2009 13:33:28 +0100 Cezary Kaliszyk Symmetry of integer addition
Mon, 26 Oct 2009 11:55:36 +0100 Cezary Kaliszyk Finished the code for adding lower defs, and more things moved to QuotMain
Mon, 26 Oct 2009 11:34:02 +0100 Cezary Kaliszyk Making all the definitions from the original ones
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip