Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-01-29 13:06:02 -0800 (Mon, 29 Jan 2001)
Revision: 3118
Log message:

      Added links to MetaPRL CVS Logs and the theories.pdf
      

Changes	Path
+5 -2	metaprl/doc/htmlman/mp-index.html