Tue, 23 Aug 2011 08:42:51 +0000 more on the slides
urbanc [Tue, 23 Aug 2011 08:42:51 +0000] rev 207
more on the slides
Tue, 23 Aug 2011 08:11:25 +0000 more on the slides
urbanc [Tue, 23 Aug 2011 08:11:25 +0000] rev 206
more on the slides
Tue, 23 Aug 2011 00:33:12 +0000 forgotten file
urbanc [Tue, 23 Aug 2011 00:33:12 +0000] rev 205
forgotten file
Tue, 23 Aug 2011 00:24:10 +0000 beginnig of the slides (not yet finished)
urbanc [Tue, 23 Aug 2011 00:24:10 +0000] rev 204
beginnig of the slides (not yet finished)
Mon, 22 Aug 2011 12:49:27 +0000 changes according to afp-submission
urbanc [Mon, 22 Aug 2011 12:49:27 +0000] rev 203
changes according to afp-submission
Fri, 19 Aug 2011 20:39:07 +0000 two more literature
urbanc [Fri, 19 Aug 2011 20:39:07 +0000] rev 202
two more literature
Fri, 19 Aug 2011 06:57:57 +0000 added comments by Xingyuan
urbanc [Fri, 19 Aug 2011 06:57:57 +0000] rev 201
added comments by Xingyuan
Wed, 17 Aug 2011 17:36:19 +0000 added an example for non-regularity and continuation lemma (the example does not yet work)
urbanc [Wed, 17 Aug 2011 17:36:19 +0000] rev 200
added an example for non-regularity and continuation lemma (the example does not yet work)
Wed, 17 Aug 2011 07:43:09 +0000 a little tuning
urbanc [Wed, 17 Aug 2011 07:43:09 +0000] rev 199
a little tuning
Tue, 16 Aug 2011 10:21:14 +0000 final(?) version of the paper
urbanc [Tue, 16 Aug 2011 10:21:14 +0000] rev 198
final(?) version of the paper
(0) -100 -10 +10 +100 tip