Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-04-06 20:53:11 -0700 (Tue, 06 Apr 2004)
Revision: 5615
Log message:

      product + substitution + application over whole contexts transformed
      from universal to more rule-specific and more correct form.
      

Changes	Path
+85 -43	metaprl/theories/cic/cic_ind_type.ml
+28 -43	metaprl/theories/cic/cic_ind_type.mli