Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-03 18:09:20 -0700 (Wed, 03 Sep 2003)
Revision: 4919
Log message:

      - Adding TPHOLs cat B papers.
      - Adding PDF and PS for the TPHOLs cat A system description.
      

Changes	Path
Added	metaprl/doc/htmlman/papers/arith.html
Properties	metaprl/doc/htmlman/papers/arith.html
+0 -1	metaprl/doc/htmlman/papers/derived_rules.html
+0 -1	metaprl/doc/htmlman/papers/fast_proving.html
Added	metaprl/doc/htmlman/papers/formalaa.html
Properties	metaprl/doc/htmlman/papers/formalaa.html
+0 -1	metaprl/doc/htmlman/papers/jprover.html
+0 -1	metaprl/doc/htmlman/papers/markov.html
+3 -2	metaprl/doc/htmlman/papers/metaprl.html
+10 -0	metaprl/doc/htmlman/papers/mp-papers.html
+0 -1	metaprl/doc/htmlman/papers/quotients.html