regexp: Changelog

urbanc [Wed, 02 Feb 2011 15:43:22 +0000] rev 59

more on the intro

urbanc [Wed, 02 Feb 2011 13:54:07 +0000] rev 58

a little bit in the introduction

zhang [Wed, 02 Feb 2011 13:25:09 +0000] rev 57

Myhill.pdf modified

urbanc [Wed, 02 Feb 2011 06:05:12 +0000] rev 56

removed the inductive definition of Star and replaced it by a definition in terms of pow

zhang [Mon, 31 Jan 2011 14:51:47 +0000] rev 55

Myhill.thy IsabelleMakefile modified

urbanc [Mon, 31 Jan 2011 12:54:31 +0000] rev 54

a bit more on the paper

urbanc [Sun, 30 Jan 2011 17:24:37 +0000] rev 53

small typo

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

regexp