urbanc [Tue, 06 Sep 2011 02:52:26 +0000] rev 244
typo
urbanc [Tue, 06 Sep 2011 02:48:51 +0000] rev 243
more tuning on the proposal
urbanc [Tue, 06 Sep 2011 02:35:10 +0000] rev 242
polished proposal
urbanc [Mon, 05 Sep 2011 20:59:50 +0000] rev 241
tuning on the derivatives and closures theories
urbanc [Mon, 05 Sep 2011 15:42:29 +0000] rev 240
added section about non-regularity
urbanc [Mon, 05 Sep 2011 14:15:32 +0000] rev 239
polished SUBSEQ
urbanc [Mon, 05 Sep 2011 13:44:01 +0000] rev 238
slight polishing to SUBSEQ
urbanc [Mon, 05 Sep 2011 13:43:12 +0000] rev 237
slight polishing to SUBSEQ
urbanc [Mon, 05 Sep 2011 13:09:38 +0000] rev 236
shortened
urbanc [Mon, 05 Sep 2011 12:40:22 +0000] rev 235
some changes
urbanc [Mon, 05 Sep 2011 12:33:26 +0000] rev 234
some changes
urbanc [Mon, 05 Sep 2011 12:07:16 +0000] rev 233
added section about SUBSEQ and SUPSEQ
zhang [Sun, 04 Sep 2011 07:28:48 +0000] rev 232
Proposal paragraphs by Xingyuan completed (with references added).
urbanc [Sun, 04 Sep 2011 00:21:41 +0000] rev 231
removed the last two sorry's
zhang [Fri, 02 Sep 2011 14:29:54 +0000] rev 230
More modification by Xingyuan.