regexp: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 14 Sep 2013 14:08:19 +0100] rev 387

more changes for final submission

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

regexp