Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-04-24 21:30:44 -0700 (Sat, 24 Apr 2004)
Revision: 5719
Log message:

      cic_ind_type: indWrapC fixed
      cic_list: nil_wf proof updated to reflect my recent update in refiner
      and current update in cic_ind_type
      

Changes	Path
+2 -4	metaprl/theories/cic/cic_ind_type.ml
+263 -170	metaprl/theories/cic/cic_list.prla