Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-09-01 16:59:50 -0700 (Mon, 01 Sep 2003)
Revision: 4909
Log message:

      Typo fixes in the documentation.
      

Changes	Path
+5 -5	metaprl/support/display/comment.ml
+4 -4	metaprl/support/display/summary.ml
+1 -1	metaprl/support/shell/mptop.ml
+1 -1	metaprl/support/tactics/dtactic.ml
+6 -6	metaprl/support/tactics/top_conversionals.ml
+10 -8	metaprl/support/tactics/top_tacticals.ml
+1 -1	metaprl/support/tactics/var.ml
+1 -1	metaprl/theories/base/base_rewrite.ml
+1 -1	metaprl/theories/base/base_theory.mlz