regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Myhill.thy

Thu, 27 Jan 2011 05:39:19 +0000	wu	tuned a bit more the last STAR-proof	file \| diff \| annotate
Thu, 27 Jan 2011 00:51:46 +0000	urbanc	tuned a little bit the section about finite partitions	file \| diff \| annotate
Wed, 26 Jan 2011 22:23:56 +0000	urbanc	made the theory work under both Isabelle 2009 and 2011	file \| diff \| annotate
Wed, 26 Jan 2011 14:12:36 +0000	zhang	Small modification	file \| diff \| annotate
Tue, 25 Jan 2011 12:14:31 +0000	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
Mon, 24 Jan 2011 11:29:55 +0000	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
Fri, 07 Jan 2011 14:25:23 +0000	wu	Beautifying of the Other Direction is finished.	file \| diff \| annotate
Fri, 31 Dec 2010 13:47:53 +0000	wu	Rewritten of hard direction once more. To make it looking better.	file \| diff \| annotate
Tue, 14 Dec 2010 14:31:31 +0000	wu	Add new file for the new definition of the hard direction's simplification.	file \| diff \| annotate

regexp