Journal/Paper.thy
Wed, 07 Sep 2011 09:28:13 +0000 urbanc polished a bit the journal paper
Tue, 06 Sep 2011 02:35:10 +0000 urbanc polished proposal
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
less more (0) -30 -10 -4 tip