Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-16 21:26:48 -0700 (Mon, 16 Jun 2003)
Revision: 4668
Log message:

      Version to be submitted to MERLIN.
      

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