Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-09-01 03:29:15 -0700 (Mon, 01 Sep 2003)
Revision: 4905
Log message:

      Fixed some typos in the documention.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_decidable.ml
+2 -2	metaprl/theories/itt/itt_dprod.ml
+1 -1	metaprl/theories/itt/itt_equal.ml
+1 -1	metaprl/theories/itt/itt_fun.ml
+34 -34	metaprl/theories/itt/itt_logic.ml
+1 -1	metaprl/theories/itt/itt_prod.ml
+13 -5	metaprl/theories/itt/itt_rfun.ml
+1 -1	metaprl/theories/itt/itt_set.ml
+2 -2	metaprl/theories/itt/itt_squash.ml
+2 -2	metaprl/theories/itt/itt_struct.ml
+1 -1	metaprl/theories/itt/itt_subtype.ml
+3 -2	metaprl/theories/itt/itt_union.ml