regexp: Summary

description	Xingyuan / Christian / Chunhan
owner	christian dot urban at kcl ac uk
last change	Sun, 22 Dec 2013 07:37:26 +0000 (2013-12-22)

2013-12-22	Christian Urban	added default tip	changeset \| files
2013-11-10	Christian Urban	added small comments	changeset \| files
2013-10-03	Christian Urban	added slides	changeset \| files
2013-10-02	Christian Urban	added new slides	changeset \| files
2013-09-27	Christian Urban	added paper by Tobias	changeset \| files
2013-09-17	Christian Urban	new version	changeset \| files
2013-09-14	Christian Urban	more changes for final submission	changeset \| files
2013-09-12	Christian Urban	soem small changes	changeset \| files
2013-09-12	Christian Urban	updated to new Isabelle	changeset \| files
2013-07-11	Christian Urban	comment by Chunhan	changeset \| files
...