Changes by: Yegor Bryukhov (ybryukhov at gmail.com)
Date: 2008-03-09 13:43:11 -0700 (Sun, 09 Mar 2008)
Revision: 12763
Log message:
noticed some minor defects while we were working on CIC description,
some of them are not fixed, only noted.
| Changes | Path(relative to metaprl/theories/cic) |
| +6 -1 | cic_ind_type.ml |
| +3 -0 | cic_lambda.ml |