Sat, 17 Oct 2009 12:31:48 +0200 Merged
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 17 Oct 2009 12:31:48 +0200] rev 122
Merged
Sat, 17 Oct 2009 12:31:36 +0200 Simplified
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 17 Oct 2009 12:31:36 +0200] rev 121
Simplified
Sat, 17 Oct 2009 12:20:56 +0200 Further in the proof
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 17 Oct 2009 12:20:56 +0200] rev 120
Further in the proof
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip