Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-16 17:00:18 -0700 (Mon, 16 Jun 2003)
Revision: 4664
Log message:

      New M-paper title.
      

Changes  Path
+2 -2 metaprl/doc/latex/theories/m-paper.tex