regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

tphols-2011/myhill.pdf

2011-02-10	urbanc	more on paper	file \| diff \| annotate
2011-02-09	urbanc	added Xingyuan's changes with the while combinator	file \| diff \| annotate
2011-02-08	urbanc	more direct definitions	file \| diff \| annotate
2011-02-08	urbanc	started to define things more directly	file \| diff \| annotate
2011-02-08	urbanc	small additions	file \| diff \| annotate
2011-02-07	urbanc	added an option fullpaper to IsaMakefile	file \| diff \| annotate
2011-02-07	urbanc	more on the paper	file \| diff \| annotate
2011-02-06	zhang	A formal presentation of automaton and Myhill-Nerrode theorem added to serve as a basis for further discussion	file \| diff \| annotate
2011-02-05	zhang	Check in Myhill.thy before trying another way to explain DFA	file \| diff \| annotate
2011-02-05	urbanc	more intro	file \| diff \| annotate
2011-02-04	urbanc	more on the introduction	file \| diff \| annotate
2011-02-04	zhang	Added something to Myhill.thy, trying to explain the relationship between finite automata and language partition.	file \| diff \| annotate
2011-02-03	zhang	Myhill_2.thy added	file \| diff \| annotate
2011-02-03	zhang	Copy Myhill.thy into Myhill_2.thyand put Myhill_2.thy into logic ListP. Myhill.thy is now almost empty ready to be extended by new manuscripts.	file \| diff \| annotate
2011-02-03	urbanc	more to the intro	file \| diff \| annotate

regexp