Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-03-09 23:50:56 -0800 (Sat, 09 Mar 2002)
Revision: 3531
Log message:

      Modify my TODO file so that I actually remember
      what I need to do, for when I finally get around
      to having time to work on it.
      

Changes	Path
+3 -2	metaprl/theories/mc/TODO