Wed, 10 Feb 2010 11:27:49 +0100 Some cleaning of proofs.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Feb 2010 11:27:49 +0100] rev 1116
Some cleaning of proofs.
Wed, 10 Feb 2010 11:11:06 +0100 merged again
Christian Urban <urbanc@in.tum.de> [Wed, 10 Feb 2010 11:11:06 +0100] rev 1115
merged again
Wed, 10 Feb 2010 11:10:44 +0100 merged
Christian Urban <urbanc@in.tum.de> [Wed, 10 Feb 2010 11:10:44 +0100] rev 1114
merged
Wed, 10 Feb 2010 11:09:30 +0100 more minor space and bracket modifications.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 10 Feb 2010 11:09:30 +0100] rev 1113
more minor space and bracket modifications.
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip