Sun, 27 Aug 2017 00:03:31 +0300 simplified proof
Christian Urban <urbanc@in.tum.de> [Sun, 27 Aug 2017 00:03:31 +0300] rev 272
simplified proof
Fri, 25 Aug 2017 23:54:10 +0200 updated
Christian Urban <urbanc@in.tum.de> [Fri, 25 Aug 2017 23:54:10 +0200] rev 271
updated
Fri, 25 Aug 2017 23:52:49 +0200 updated
Christian Urban <urbanc@in.tum.de> [Fri, 25 Aug 2017 23:52:49 +0200] rev 270
updated
Fri, 25 Aug 2017 15:05:20 +0200 updated
Christian Urban <urbanc@in.tum.de> [Fri, 25 Aug 2017 15:05:20 +0200] rev 269
updated
(0) -100 -30 -10 -4 +4 +10 +30 +100 +300 tip