https://cflmark.nms.kcl.ac.uk/hg/regexp/ en-us regexp: ROOT history ROOT revision history added slides https://cflmark.nms.kcl.ac.uk/hg/regexp/log/5c283ecefda6/ROOT Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 03 Oct 2013 15:29:03 +0100 polished more and updated to new isabelle https://cflmark.nms.kcl.ac.uk/hg/regexp/log/8c4b6fb43ebe/ROOT Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 05 Jul 2013 17:19:17 +0100