Fri, 26 Nov 2010 12:34:34 +0000 added a recent paper by Tobias Nipkow on regular expressions
urbanc [Fri, 26 Nov 2010 12:34:34 +0000] rev 26
added a recent paper by Tobias Nipkow on regular expressions
(0) -10 -1 +1 +10 +30 +100 +300 tip