Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-05 20:46:40 -0800 (Fri, 05 Dec 2003)
Revision: 5149
Log message:

      Adding TPHOLs 2003 cat B bibtex entries.
      

Changes	Path
+21 -0	metaprl/doc/htmlman/papers/bibtex.txt