Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-04-28 21:09:33 -0700 (Thu, 28 Apr 2005)
Revision: 7236
Log message:

      Old proofs are up-to-date now.
      

Changes  Path
+38 -35 metaprl/theories/cic/cic_ind_type.ml
+8 -4 metaprl/theories/cic/cic_ind_type.mli
+334 -472 metaprl/theories/cic/cic_list.prla