Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-02 16:01:30 -0700 (Wed, 02 Jun 1999)
Revision: 2686
Log message:

      Documentation:
      - removed references to slot[i:n], slot[t:t] and slot[v:v], mentioned that
      slot[p:s] should be used for printing parameters
      - removed var:l from the term syntax description, mentioned that :s in parameters
      is optional
      - ran spell-checker on mp-dform and mp-terms
      
      Summary:
      - added display forms for MetaLabeled
      - fixed display form for MetaFunction
      

Changes	Path
+17 -22	metaprl/doc/htmlman/user-guide/mp-dform.html
+7 -7	metaprl/doc/htmlman/user-guide/mp-terms.html
+11 -3	metaprl/theories/base/summary.ml
+2 -1	metaprl/theories/base/summary.mli