2011-09-04 | urbanc | removed the last two sorry's | changeset | files |
2011-09-02 | zhang | More modification by Xingyuan. | changeset | files |
2011-09-02 | zhang | One passage added. | changeset | files |
2011-09-02 | urbanc | latest changes | changeset | files |
2011-09-02 | urbanc | small change | changeset | files |
2011-09-02 | urbanc | small improvement | changeset | files |
2011-09-02 | urbanc | added a start for a proposal | changeset | files |
2011-09-02 | urbanc | added example about non-regularity | changeset | files |
2011-09-02 | urbanc | cleaned up proofs | changeset | files |
2011-09-01 | urbanc | included Higman's lemma from the Isabelle repository | changeset | files |
2011-09-01 | urbanc | solved the SUBSEQ/SUPSEQ problem | changeset | files |
2011-08-30 | urbanc | added a further test | changeset | files |
Loading... |