Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-03-24 20:43:40 -0800 (Thu, 24 Mar 2005)
Revision: 7044
Log message:

      Now it compiles (it was broken for some type)
      

Changes	Path
+162 -80	metaprl/theories/cic/cic_ind_cases.ml
+353 -329	metaprl/theories/cic/cic_ind_type.ml
+115 -110	metaprl/theories/cic/cic_ind_type.mli
+8 -9	metaprl/theories/cic/cic_lambda.ml
+3 -7	metaprl/theories/cic/cic_lambda.mli
+76 -24	metaprl/theories/cic/cic_list.ml