Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2006-02-20 16:08:50 -0800 (Mon, 20 Feb 2006) Revision: 8746 Log message:
- Changed bneq_int into an iform. - Added fold_neq_int to reduce.