Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-02-07 02:34:55 -0800 (Mon, 07 Feb 2005)
Revision: 6623
Log message:

      Proved most of the rules in itt_synt_bterm.
      

Changes	Path
+7 -2	metaprl/theories/itt/itt_list2.ml
+1159 -1023	metaprl/theories/itt/itt_list2.prla
+33 -8	metaprl/theories/itt/itt_synt_bterm.ml
Added	metaprl/theories/itt/itt_synt_bterm.prla
Properties	metaprl/theories/itt/itt_synt_bterm.prla