Fri, 22 Oct 2010 19:43:56 +0000 | urbanc | deleted two unnecessary lemmas | changeset | files |
Fri, 22 Oct 2010 10:45:01 +0000 | urbanc | added a paper by Constable about the Myhill-Nerode in Nuprl using DFA and a paper by tobias about RegExp->DFA translation | changeset | files |