Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-09-04 14:24:41 -0700 (Wed, 04 Sep 2002)
Revision: 3848
Log message:

      Correcting grammar/spelling errors in the introduction.
      

Changes	Path
+8 -10	metaprl/theories/ocaml_doc/ocaml_doc_intro.ml