Tue, 23 Aug 2011 00:33:12 +0000 urbanc forgotten file
Tue, 23 Aug 2011 00:24:10 +0000 urbanc beginnig of the slides (not yet finished)
Mon, 22 Aug 2011 12:49:27 +0000 urbanc changes according to afp-submission
Fri, 19 Aug 2011 20:39:07 +0000 urbanc two more literature
Fri, 19 Aug 2011 06:57:57 +0000 urbanc added comments by Xingyuan
Wed, 17 Aug 2011 17:36:19 +0000 urbanc added an example for non-regularity and continuation lemma (the example does not yet work)
(0) -100 -30 -10 -6 +6 +10 +30 +100 tip