Wed, 29 Jun 2011 22:28:56 -0700 Scott Morrison changing example for no common refinement
Wed, 29 Jun 2011 16:21:11 -0700 Scott Morrison typos
Wed, 29 Jun 2011 16:17:53 -0700 Scott Morrison adding some TODOs
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 tip