regexp: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 12 Sep 2013 17:20:48 +0100] rev 386

soem small changes

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 12 Sep 2013 10:34:11 +0200] rev 385

updated to new Isabelle

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 11 Jul 2013 16:46:05 +0100] rev 384

comment by Chunhan

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 11 Jul 2013 12:07:11 +0100] rev 383

some more polishing

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Jul 2013 17:59:00 +0100] rev 382

polished

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Jul 2013 17:47:30 +0100] rev 381

added modified version adn answer to the reviewers

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Jul 2013 13:28:24 +0100] rev 380

added coquand siles paper

regexp