2012-01-24 urbanc minor edit
2012-01-24 urbanc initial version of the PIP formalisation
2011-12-26 urbanc changed to 11 months
2011-12-22 urbanc added a draft of the letter for Chunhan
2011-12-17 urbanc updated urls to AFP
2011-11-20 urbanc added slides for a talk in St Andrews
2011-11-11 urbanc small change
2011-09-15 urbanc set -> language
2011-09-14 urbanc added a paper about applications
2011-09-14 urbanc added paper that recently appeared about rexps and pegs
2011-09-14 urbanc polished the non-regularity proof
2011-09-14 urbanc clarified proof about non-regularity
2011-09-14 urbanc corrected typo found by Xingyuan
2011-09-13 urbanc small typo
2011-09-12 urbanc a final polishing before submitting later this week
2011-09-08 urbanc one more itteration on the paper
2011-09-07 urbanc some more polishing and a link to Haines
2011-09-07 urbanc typos
2011-09-07 urbanc polished a bit the journal paper
2011-09-06 urbanc typo
2011-09-06 urbanc more tuning on the proposal
2011-09-06 urbanc polished proposal
2011-09-05 urbanc tuning on the derivatives and closures theories
2011-09-05 urbanc added section about non-regularity
2011-09-05 urbanc polished SUBSEQ
2011-09-05 urbanc slight polishing to SUBSEQ
2011-09-05 urbanc slight polishing to SUBSEQ
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
2011-08-23 urbanc more on the slides
2011-08-23 urbanc forgotten file
2011-08-23 urbanc beginnig of the slides (not yet finished)
(0) -100 -60 +60 +100 tip