Journal/Paper.thy
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 -3 tip