regexp: Changelog

wu [Fri, 28 Jan 2011 12:53:01 +0000] rev 46

test

zhang [Fri, 28 Jan 2011 11:52:11 +0000] rev 45

More improvement

wu [Thu, 27 Jan 2011 17:37:20 +0000] rev 44

added a recent paper about reg exps and automata

urbanc [Thu, 27 Jan 2011 16:58:11 +0000] rev 43

added my changes again

zhang [Thu, 27 Jan 2011 12:35:06 +0000] rev 42

Trying to solve the confict

zhang [Thu, 27 Jan 2011 11:50:58 +0000] rev 41

a newer version

wu [Thu, 27 Jan 2011 05:39:19 +0000] rev 40

tuned a bit more the last STAR-proof

urbanc [Thu, 27 Jan 2011 00:51:46 +0000] rev 39

tuned a little bit the section about finite partitions

zhang [Wed, 26 Jan 2011 23:39:42 +0000] rev 38

Delete generated

wu [Wed, 26 Jan 2011 22:58:24 +0000] rev 37

ITP-Paper loads Myhill.thy

regexp