Fri, 04 Dec 2009 17:57:03 +0100 Cleaning the Quotients file
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:57:03 +0100] rev 545
Cleaning the Quotients file
Fri, 04 Dec 2009 17:50:02 +0100 Minor renames and moving
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:50:02 +0100] rev 544
Minor renames and moving
Fri, 04 Dec 2009 17:36:45 +0100 Cleaning/review of QuotScript.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:36:45 +0100] rev 543
Cleaning/review of QuotScript.
Fri, 04 Dec 2009 17:15:55 +0100 More cleaning
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 17:15:55 +0100] rev 542
More cleaning
Fri, 04 Dec 2009 16:53:11 +0100 more name cleaning and removing
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:53:11 +0100] rev 541
more name cleaning and removing
Fri, 04 Dec 2009 16:40:23 +0100 More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:40:23 +0100] rev 540
More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList
Fri, 04 Dec 2009 16:12:40 +0100 Cleaning & Renaming coming from QuotList
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 04 Dec 2009 16:12:40 +0100] rev 539
Cleaning & Renaming coming from QuotList
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip