regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Myhill_2.thy

2011-08-05	urbanc	more on the derivatives section	file \| diff \| annotate
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-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	updated theories and itp-paper	file \| diff \| annotate
2011-05-18	urbanc	added directory for journal version; took uptodate version of the theory files	file \| diff \| annotate
2011-05-09	urbanc	added comments from Chunhan	file \| diff \| annotate
2011-03-23	urbanc	added the most current versions of the theories.	file \| diff \| annotate
2011-02-20	urbanc	comments by Xingyuan	file \| diff \| annotate
2011-02-20	urbanc	finished picture	file \| diff \| annotate
2011-02-20	urbanc	added pictures for seq-case	file \| diff \| annotate
2011-02-19	urbanc	ALT case done	file \| diff \| annotate
2011-02-19	urbanc	first two proofs in 2 direction	file \| diff \| annotate

regexp