Journal/Paper.thy
Mon, 12 Sep 2011 19:50:21 +0000 urbanc a final polishing before submitting later this week
Thu, 08 Sep 2011 15:08:02 +0000 urbanc one more itteration on the paper
less more (0) -30 -10 -2 tip