Journal/Paper.thy
Thu, 08 Sep 2011 15:08:02 +0000 urbanc one more itteration on the paper
Wed, 07 Sep 2011 18:17:56 +0000 urbanc some more polishing and a link to Haines
less more (0) -30 -10 -2 tip