2012-08-29 | urbanc | some addition to the MN-paper | file | diff | annotate |
2012-04-20 | urbanc | made changes for another journal submission of the MH-paper | file | diff | annotate |
2011-09-05 | urbanc | added section about SUBSEQ and SUPSEQ | file | diff | annotate |
2011-09-04 | urbanc | removed the last two sorry's | file | diff | annotate |
2011-09-02 | urbanc | cleaned up proofs | file | diff | annotate |
2011-09-01 | urbanc | included Higman's lemma from the Isabelle repository | file | diff | annotate |
2011-09-01 | urbanc | solved the SUBSEQ/SUPSEQ problem | file | diff | annotate |
2011-08-30 | urbanc | added a further test | file | diff | annotate |