Journal/Paper.thy
2012-04-13 urbanc made the changes thes 2nd referee suggested and made it to compile again
2012-02-22 urbanc partially updated conference paper; slightly tuned journal paper
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 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 polished a bit the journal paper
2011-09-06 urbanc polished proposal
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 added section about SUBSEQ and SUPSEQ
2011-08-26 urbanc added a few points
2011-08-25 urbanc a few bits on the journal paper
2011-08-22 urbanc changes according to afp-submission
2011-08-19 urbanc added comments by Xingyuan
2011-08-17 urbanc added an example for non-regularity and continuation lemma (the example does not yet work)
2011-08-17 urbanc a little tuning
2011-08-16 urbanc final(?) version of the paper
2011-08-15 urbanc a bit more polishing
2011-08-15 urbanc polishing of the closure section and conclusion
2011-08-11 urbanc some typos
2011-08-11 urbanc finished section about derivatives and closure properties
2011-08-09 urbanc more on paper
2011-08-05 urbanc more on the derivatives section
2011-08-03 urbanc added more to the derivatives section
2011-08-03 urbanc completed the taging-function section
2011-08-03 urbanc more on the paper
2011-08-03 urbanc cleaned up the proofs in Myhill_2
2011-08-02 urbanc a version of the proof which dispenses with the notion of string-subtraction
2011-07-31 urbanc some experiments with the proofs in Myhill_2
2011-07-28 urbanc added a picture
2011-07-28 urbanc small improvements
2011-07-28 urbanc added more examles
2011-07-28 urbanc more one the paper
2011-07-27 urbanc latest version of the journal paper
2011-07-27 urbanc polished the introduction
2011-07-26 urbanc more on the section about derivatives
2011-07-26 urbanc more on the introduction of the journal paper
2011-07-25 urbanc more on the journal paper
2011-07-25 urbanc made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic
2011-06-02 urbanc added a journal version
2011-05-18 urbanc added directory for journal version; took uptodate version of the theory files
less more (0) tip