Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-22 11:08:56 -0700 (Tue, 22 Jul 2003)
Revision: 4767
Log message:

      Switched the m-paper from sig-alternate to llncs.
      

Changes	Path
+1 -1	metaprl/doc/latex/theories/Makefile
+9 -43	metaprl/doc/latex/theories/m-paper.tex