regexp: Changelog

urbanc [Sun, 30 Jan 2011 17:21:53 +0000] rev 52

tuning of the syntax; needs the stmaryrd latex package

urbanc [Sun, 30 Jan 2011 17:09:02 +0000] rev 51

some tuning of the paper

urbanc [Sun, 30 Jan 2011 16:59:57 +0000] rev 50

revised proof of Ardens lemma

zhang [Sun, 30 Jan 2011 12:22:07 +0000] rev 49

Illustration added together with renewed explainations for case STAR.

zhang [Sat, 29 Jan 2011 11:41:17 +0000] rev 48

Myhill.thy and Myhill_1.thy changed.

urbanc [Fri, 28 Jan 2011 19:17:40 +0000] rev 47

slightly tuned the main lemma and the finiteness proofs

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

regexp