Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-02 23:52:01 -0800 (Wed, 02 Mar 2005)
Revision: 6823
Log message:

      Added more comments.
      

Changes	Path
+11 -6	metaprl/theories/itt/itt_synt_bterm.ml
+22 -8	metaprl/theories/itt/itt_synt_operator.ml
+67 -4	metaprl/theories/itt/itt_synt_subst.ml
+12 -8	metaprl/theories/itt/itt_synt_var.ml