Tue, 17 Apr 2012 16:16:53 +0100 updated paper
Christian Urban <urbanc@in.tum.de> [Tue, 17 Apr 2012 16:16:53 +0100] rev 102
updated paper
Sat, 14 Apr 2012 04:46:41 +0100 updated
Christian Urban <urbanc@in.tum.de> [Sat, 14 Apr 2012 04:46:41 +0100] rev 101
updated
Thu, 15 Mar 2012 16:39:57 +0000 typo
Christian Urban <urbanc@in.tum.de> [Thu, 15 Mar 2012 16:39:57 +0000] rev 100
typo
Thu, 15 Mar 2012 15:55:30 +0000 typo
Christian Urban <urbanc@in.tum.de> [Thu, 15 Mar 2012 15:55:30 +0000] rev 99
typo
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
Thu, 08 Mar 2012 23:29:10 +0000 added slides
Christian Urban <urbanc@in.tum.de> [Thu, 08 Mar 2012 23:29:10 +0000] rev 95
added slides
(0) -100 -30 -10 -8 +8 +10 +30 +100 +300 tip