Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-27 23:05:32 -0800 (Thu, 27 Mar 2003)
Revision: 4280
Log message:

      Adding a response to one of Nogin's comments in the introduction.
      My suggested text is far from perfect, but it is an idea that I
      had.
      

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