Changes by: Yegor N. Bryukhov (ybryukhov at gmail.com)
Date: 2007-04-15 08:37:03 -0700 (Sun, 15 Apr 2007)
Revision: 10431
Log message:

      bringing CIC up to speed with the rest of MetaPRL
     1.it seems that 'const' became a reserved word though the error message is _very_ cryptic
     2.also, reduce resource improvements should wrap rewrites with wrap_reduce

Changes  Path
+4 -4 metaprl/theories/cic/cic_ind_elim_dep.ml
+3 -3 metaprl/theories/cic/cic_ind_elim_dep.mli