Fri, 02 Sep 2011 13:29:46 +0000 urbanc added a start for a proposal
Fri, 02 Sep 2011 12:19:00 +0000 urbanc added example about non-regularity
Fri, 02 Sep 2011 09:53:56 +0000 urbanc cleaned up proofs
(0) -100 -30 -10 -3 +3 +10 +30 +100 tip