Closures.thy
2011-09-14 urbanc polished the non-regularity proof
2011-09-14 urbanc clarified proof about non-regularity
2011-09-05 urbanc tuning on the derivatives and closures theories
2011-09-05 urbanc added section about non-regularity
2011-09-02 urbanc latest changes
2011-09-02 urbanc small improvement
2011-09-02 urbanc added example about non-regularity
2011-08-23 urbanc beginnig of the slides (not yet finished)
less more (0) -10 -8 tip