2011-01-31 | urbanc | a bit more on the paper | changeset | files |
2011-01-30 | urbanc | small typo | changeset | files |
2011-01-30 | urbanc | tuning of the syntax; needs the stmaryrd latex package | changeset | files |
2011-01-30 | urbanc | some tuning of the paper | changeset | files |
2011-01-30 | urbanc | revised proof of Ardens lemma | changeset | files |
2011-01-30 | zhang | Illustration added together with renewed explainations for case STAR. | changeset | files |
2011-01-29 | zhang | Myhill.thy and Myhill_1.thy changed. | changeset | files |
2011-01-28 | urbanc | slightly tuned the main lemma and the finiteness proofs | changeset | files |
2011-01-28 | wu | test | changeset | files |
2011-01-28 | zhang | More improvement | changeset | files |
2011-01-27 | wu | added a recent paper about reg exps and automata | changeset | files |
2011-01-27 | urbanc | added my changes again | changeset | files |
2011-01-27 | zhang | Trying to solve the confict | changeset | files |
2011-01-27 | zhang | a newer version | changeset | files |
Loading... |