Closures.thy
Wed, 14 Sep 2011 13:39:03 +0000 urbanc polished the non-regularity proof
Wed, 14 Sep 2011 13:00:44 +0000 urbanc clarified proof about non-regularity
less more (0) -10 -2 tip