Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu) Date: 2005-03-27 20:46:23 -0800 (Sun, 27 Mar 2005) Revision: 7061 Log message:
Forgot "extends Cic_ind_elim"