Journal/Paper.thy
Thu, 15 Sep 2011 12:46:00 +0000 urbanc set -> language
Wed, 14 Sep 2011 15:56:03 +0000 urbanc added paper that recently appeared about rexps and pegs
Wed, 14 Sep 2011 13:39:03 +0000 urbanc polished the non-regularity proof
less more (0) -30 -10 -3 tip