Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-04-08 20:59:04 -0700 (Fri, 08 Apr 2005)
Revision: 7183
Log message:

      replaced applHLeft with prodApp (which is a combination of prodH and application)
      there's still a bug issue with forAll1T1DT and last premise of Dep
      

Changes	Path
+30 -23	metaprl/theories/cic/cic_ind_elim_dep.ml