Fri, 28 Jan 2011 19:17:40 +0000 urbanc slightly tuned the main lemma and the finiteness proofs
Fri, 28 Jan 2011 12:53:01 +0000 wu test
Fri, 28 Jan 2011 11:52:11 +0000 zhang More improvement
Thu, 27 Jan 2011 17:37:20 +0000 wu added a recent paper about reg exps and automata
(0) -30 -10 -4 +4 +10 +30 +100 +300 tip