http://www.in.tum.de/~krauss
This is an unofficial reimagining of the Archive of Formal Proofs
Regular Sets and Expressionsby Alexander Krauss and Tobias Nipkow