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 |