Thu, 15 Mar 2012 15:50:18 +0000 added Cut
Christian Urban <urbanc@in.tum.de> [Thu, 15 Mar 2012 15:50:18 +0000] rev 98
added Cut
Thu, 15 Mar 2012 10:13:14 +0000 updated
Christian Urban <urbanc@in.tum.de> [Thu, 15 Mar 2012 10:13:14 +0000] rev 97
updated
Thu, 15 Mar 2012 10:07:28 +0000 added phd and prover
Christian Urban <urbanc@in.tum.de> [Thu, 15 Mar 2012 10:07:28 +0000] rev 96
added phd and prover
(0) -30 -10 -3 +3 +10 +30 +100 +300 tip