Closures.thy
2011-09-14 urbanc polished the non-regularity proof
less more (0) -10 -1 tip