Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-05-07 22:35:40 -0700 (Sat, 07 May 2005)
Revision: 7256
Log message:

      First approximation of conversion rule for (primitive) recursion operation.
      

Changes	Path
+230 -0	metaprl/theories/cic/cic_ind_elim_dep.ml
+10 -0	metaprl/theories/cic/cic_ind_type.ml
+8 -0	metaprl/theories/cic/cic_ind_type.mli
+33 -2	metaprl/theories/cic/cic_list.ml
+917 -376	metaprl/theories/cic/cic_list.prla