regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

tphols-2011/ROOT.ML

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

regexp