Thu, 07 Jan 2010 16:06:13 +0100 some cleaning.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 07 Jan 2010 16:06:13 +0100] rev 822
some cleaning.
Thu, 07 Jan 2010 15:50:22 +0100 First generalization.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 07 Jan 2010 15:50:22 +0100] rev 821
First generalization.
Thu, 07 Jan 2010 14:14:17 +0100 The working proof of the special case.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 07 Jan 2010 14:14:17 +0100] rev 820
The working proof of the special case.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip