regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

Myhill.thy

2011-01-31	zhang	Myhill.thy IsabelleMakefile modified	file \| diff \| annotate
2011-01-30	zhang	Illustration added together with renewed explainations for case STAR.	file \| diff \| annotate
2011-01-29	zhang	Myhill.thy and Myhill_1.thy changed.	file \| diff \| annotate
2011-01-28	urbanc	slightly tuned the main lemma and the finiteness proofs	file \| diff \| annotate
2011-01-28	zhang	More improvement	file \| diff \| annotate
2011-01-27	urbanc	added my changes again	file \| diff \| annotate
2011-01-27	zhang	Trying to solve the confict	file \| diff \| annotate
2011-01-27	wu	tuned a bit more the last STAR-proof	file \| diff \| annotate
2011-01-27	urbanc	tuned a little bit the section about finite partitions	file \| diff \| annotate
2011-01-26	urbanc	made the theory work under both Isabelle 2009 and 2011	file \| diff \| annotate
2011-01-26	zhang	Small modification	file \| diff \| annotate
2011-01-25	zhang	1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML	file \| diff \| annotate
2011-01-24	zhang	Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].	file \| diff \| annotate
2011-01-07	wu	Beautifying of the Other Direction is finished.	file \| diff \| annotate
2010-12-31	wu	Rewritten of hard direction once more. To make it looking better.	file \| diff \| annotate
2010-12-14	wu	Add new file for the new definition of the hard direction's simplification.	file \| diff \| annotate

less more (0) tip

regexp