Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-09-02 11:06:31 -0700 (Thu, 02 Sep 2004)
Revision: 6160
Log message:

      Added Natalia's and mine paper (TPHOLs 2004, cat B).
      

Changes	Path
+6 -0	metaprl/doc/htmlman/papers/mp-papers.html