Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-10-13 05:33:24 -0700 (Tue, 13 Oct 1998)
Revision: 2505
Log message:

      More NL->MP changes.
      

Changes	Path
+2 -2	metaprl/doc/htmlman/framework/default.html
+4 -7	metaprl/doc/htmlman/framework/mp-index.html
Binary	metaprl/doc/htmlman/images/mp-logo.gif
+3 -4	metaprl/doc/htmlman/mp.html
+3 -2	metaprl/doc/htmlman/tutorial/mp-index.html
+2 -3	metaprl/doc/htmlman/user-guide/mp-axiom.html
+3 -6	metaprl/doc/htmlman/user-guide/mp-index.html
+8 -8	metaprl/ensemble/appl_closure.ml
+11 -11	metaprl/ensemble/ensemble_queue.ml