Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-10-31 04:07:39 -0800 (Thu, 31 Oct 2002)
Revision: 3921
Log message:

      Corrected some typos.
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_bool.ml
+2 -2	metaprl/theories/itt/itt_dfun.ml
+2 -2	metaprl/theories/itt/itt_disect.ml
+2 -2	metaprl/theories/itt/itt_equal.ml
+2 -2	metaprl/theories/itt/itt_int_base.ml
+1 -1	metaprl/theories/itt/itt_int_ext.ml
+1 -1	metaprl/theories/itt/itt_isect.ml
+1 -1	metaprl/theories/itt/itt_list.ml
+1 -1	metaprl/theories/itt/itt_logic.ml
+1 -1	metaprl/theories/itt/itt_prec.ml
+1 -1	metaprl/theories/itt/itt_prod.ml
+1 -1	metaprl/theories/itt/itt_record_exm.ml
+3 -3	metaprl/theories/itt/itt_rfun.ml
+1 -1	metaprl/theories/itt/itt_set.ml
+1 -1	metaprl/theories/itt/itt_squash.ml
+2 -2	metaprl/theories/itt/itt_tunion.ml
+1 -1	metaprl/theories/itt/itt_void.ml
+2 -2	metaprl/theories/itt/itt_w.ml
+2 -2	metaprl/theories/tactic/comment.ml
+2 -2	metaprl/theories/tactic/mptop.ml
+2 -2	metaprl/theories/tactic/top_conversionals.ml
+5 -8	metaprl/theories/tactic/top_tacticals.ml