> 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.