Journal/Paper.thy
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
less more (0) -30 tip