Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-02-12 16:24:16 -0800 (Wed, 12 Feb 2003)
Revision: 4077
Log message:

      Supported in part by ONR.
      

Changes	Path
+4 -3	metaprl/doc/htmlman/mp.html
+5 -1	metaprl/doc/latex/theories/all-theories.tex