Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-16 23:53:14 -0800 (Tue, 16 Dec 2003)
Revision: 5189
Log message:

      More conforming header stuff for the MERLIN paper. Please dbl-check!
      

Changes	Path
+31 -10	metaprl/theories/experimental/compile/m-paper.tex