final paper snapshot

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 15 Mar 2001 01:46:31 -0500 (EST)


> Here's my final snapshot.  I've also posted it in the usual place.
> 
> There are two remaining things in the todo file: make definitions appear in bold 
> like theorems and fix the proof of theorem 2.

O.k.  I need to call it quits for tonight.  I think I know how to hack the
.cls file to make the defs bold.  And I can add something for theorem 2.