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 |