regexp: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 Sep 2013 11:21:58 +0100] rev 388

new version

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

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 05 Jul 2013 17:19:17 +0100] rev 379

polished more and updated to new isabelle

regexp