2011-09-05 urbanc shortened
2011-09-05 urbanc some changes
2011-09-05 urbanc some changes
2011-09-05 urbanc added section about SUBSEQ and SUPSEQ
2011-09-04 zhang Proposal paragraphs by Xingyuan completed (with references added).
2011-09-04 urbanc removed the last two sorry's
2011-09-02 zhang More modification by Xingyuan.
2011-09-02 zhang One passage added.
2011-09-02 urbanc latest changes
2011-09-02 urbanc small change
2011-09-02 urbanc small improvement
2011-09-02 urbanc added a start for a proposal
2011-09-02 urbanc added example about non-regularity
2011-09-02 urbanc cleaned up proofs
2011-09-01 urbanc included Higman's lemma from the Isabelle repository
2011-09-01 urbanc solved the SUBSEQ/SUPSEQ problem
2011-08-30 urbanc added a further test
2011-08-26 urbanc corrected typo
2011-08-26 urbanc added a few points
2011-08-25 urbanc a few bits on the journal paper
2011-08-25 urbanc shown slides
2011-08-25 urbanc final polishing
2011-08-24 urbanc added pdf of slides
2011-08-24 urbanc final slides
2011-08-24 urbanc more slides
2011-08-24 urbanc more on slides
2011-08-24 urbanc just test
2011-08-23 urbanc added test for Higman's lemma
2011-08-23 urbanc more on slides
2011-08-23 urbanc more on the slides
(0) -100 -50 -30 +30 +50 +100 tip