Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-28 09:08:27 -0800 (Fri, 28 Mar 2003)
Revision: 4292
Log message:

      Perhaps a bit late to be coming up with this, but I think I
      finally figured out what bugged me about the paper yesterday.
      I've added a comment in the introduction that contains an idea
      for the ``theme/message'' of the paper.  I'm going to scan over
      the rest of the paper and see if I can come up with any other
      comments.
      

Changes	Path
+16 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml