Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-02 20:06:47 -0800 (Tue, 02 Dec 2003)
Revision: 5142
Log message:

      Added the full bibliography data for the TPHOLs cat B papers.
      

Changes	Path
+3 -2	metaprl/doc/htmlman/papers/arith.html
+3 -2	metaprl/doc/htmlman/papers/formalaa.html
+6 -4	metaprl/doc/htmlman/papers/mp-papers.html