Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2005-03-17 14:17:56 -0800 (Thu, 17 Mar 2005)
Revision: 6962
Log message:

      Change Itt_synt_bterm!btermVar from AutoMustComplete to nth_hyp.
      

Changes	Path
+7 -3	metaprl/theories/itt/itt_synt_bterm.ml
+1689 -1650	metaprl/theories/itt/itt_synt_bterm.prla
+232 -228	metaprl/theories/itt/itt_synt_subst.prla