regexp: Changelog

urbanc [Fri, 02 Sep 2011 13:30:17 +0000] rev 226

small improvement

urbanc [Fri, 02 Sep 2011 13:29:46 +0000] rev 225

added a start for a proposal

urbanc [Fri, 02 Sep 2011 12:19:00 +0000] rev 224

added example about non-regularity

urbanc [Fri, 02 Sep 2011 09:53:56 +0000] rev 223

cleaned up proofs

urbanc [Thu, 01 Sep 2011 23:18:34 +0000] rev 222

included Higman's lemma from the Isabelle repository

urbanc [Thu, 01 Sep 2011 20:26:30 +0000] rev 221

solved the SUBSEQ/SUPSEQ problem

urbanc [Tue, 30 Aug 2011 11:31:18 +0000] rev 220

added a further test

urbanc [Fri, 26 Aug 2011 17:29:07 +0000] rev 219

corrected typo

urbanc [Fri, 26 Aug 2011 17:23:46 +0000] rev 218

added a few points

urbanc [Thu, 25 Aug 2011 19:33:41 +0000] rev 217

a few bits on the journal paper

regexp