Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-06 10:27:44 -0700 (Tue, 06 Aug 2002)
Revision: 3771
Log message:

      Committing some spelling corrections.
      

Changes	Path
+5 -5	metaprl/theories/fir/mfir_basic.ml
+1 -1	metaprl/theories/fir/mfir_comment.ml
+1 -1	metaprl/theories/fir/mfir_comment.mli
+53 -51	metaprl/theories/fir/mfir_exp.ml
+3 -1	metaprl/theories/fir/mfir_termOp.ml
+2 -2	metaprl/theories/fir/mfir_theory.mlz
+20 -18	metaprl/theories/fir/mfir_ty.ml