Paper/Paper.thy
Sat, 19 Feb 2011 12:01:16 +0000 urbanc updated second direction
Sat, 19 Feb 2011 10:23:51 +0000 urbanc included comments by Chunhan
Fri, 18 Feb 2011 15:06:06 +0000 urbanc added comment from Larry
Fri, 18 Feb 2011 14:26:23 +0000 urbanc updated bib
Fri, 18 Feb 2011 12:14:07 +0000 urbanc polished everything
Thu, 17 Feb 2011 21:30:26 +0000 urbanc more on the conclusion
less more (0) -30 -10 -6 tip