Journal/Paper.thy
Wed, 14 Sep 2011 13:00:44 +0000 urbanc clarified proof about non-regularity
Wed, 14 Sep 2011 11:46:50 +0000 urbanc corrected typo found by Xingyuan
less more (0) -30 -10 -2 tip