regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Journal/Paper.thy

2011-08-03	urbanc	more on the paper	file \| diff \| annotate
2011-08-03	urbanc	cleaned up the proofs in Myhill_2	file \| diff \| annotate
2011-08-02	urbanc	a version of the proof which dispenses with the notion of string-subtraction	file \| diff \| annotate
2011-07-31	urbanc	some experiments with the proofs in Myhill_2	file \| diff \| annotate
2011-07-28	urbanc	added a picture	file \| diff \| annotate
2011-07-28	urbanc	small improvements	file \| diff \| annotate
2011-07-28	urbanc	added more examles	file \| diff \| annotate
2011-07-28	urbanc	more one the paper	file \| diff \| annotate
2011-07-27	urbanc	latest version of the journal paper	file \| diff \| annotate
2011-07-27	urbanc	polished the introduction	file \| diff \| annotate
2011-07-26	urbanc	more on the section about derivatives	file \| diff \| annotate
2011-07-26	urbanc	more on the introduction of the journal paper	file \| diff \| annotate
2011-07-25	urbanc	more on the journal paper	file \| diff \| annotate
2011-07-25	urbanc	made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic	file \| diff \| annotate
2011-06-02	urbanc	added a journal version	file \| diff \| annotate
2011-05-18	urbanc	added directory for journal version; took uptodate version of the theory files	file \| diff \| annotate \| base

regexp