| 2011-09-14 | urbanc | polished the non-regularity proof | file | diff | annotate |
| 2011-09-14 | urbanc | clarified proof about non-regularity | file | diff | annotate |
| 2011-09-05 | urbanc | tuning on the derivatives and closures theories | file | diff | annotate |
| 2011-09-05 | urbanc | added section about non-regularity | file | diff | annotate |
| 2011-09-02 | urbanc | latest changes | file | diff | annotate |
| 2011-09-02 | urbanc | small improvement | file | diff | annotate |
| 2011-09-02 | urbanc | added example about non-regularity | file | diff | annotate |
| 2011-08-23 | urbanc | beginnig of the slides (not yet finished) | file | diff | annotate |