Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-04-25 18:30:28 -0700 (Sun, 25 Apr 2004)
Revision: 5722
Log message:
cic_lambda - declarations of bind removed
cic_ind_type - better convertionals to unfold inductive definitions
cic_list - tried new convertionals