Thu, 27 Jan 2011 05:39:19 +0000 tuned a bit more the last STAR-proof
wu [Thu, 27 Jan 2011 05:39:19 +0000] rev 40
tuned a bit more the last STAR-proof
Thu, 27 Jan 2011 00:51:46 +0000 tuned a little bit the section about finite partitions
urbanc [Thu, 27 Jan 2011 00:51:46 +0000] rev 39
tuned a little bit the section about finite partitions
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip