2011-02-14 | urbanc | updated | file | diff | annotate |
2011-02-14 | urbanc | added definition of DERIV and delta | file | diff | annotate |
2010-11-25 | urbanc | added paper | file | diff | annotate |
2010-10-19 | urbanc | added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing) | file | diff | annotate |
2010-10-03 | urbanc | added simple regexp matcher from Slind et al | file | diff | annotate |