contification paper

[Matthew Fluet]

> Matthew, my current plans are to 
> 1. check your edits of 1 - 3 
> 2. read the transform in 4 
> 3. edit section 6
> 
> As it stands, I believe I have the editing token for all sections.  Let
> me know what sections you want. 

I'll take a quick look at the edits of section 5 and add in the spacing
tricks.  Then I think I'll send the changes back to you and let you hold
onto the token for the entire paper for the rest of the evening.  Post a
copy when you are done for the evening, and I'll take a look at everything
again tomorrow morning.

I'll be online for a few more hours yet, if you want to discuss section 4.