Journal/Paper.thy
Mon, 05 Sep 2011 15:42:29 +0000 urbanc added section about non-regularity
Mon, 05 Sep 2011 14:15:32 +0000 urbanc polished SUBSEQ
Mon, 05 Sep 2011 13:44:01 +0000 urbanc slight polishing to SUBSEQ
less more (0) -30 -10 -3 tip