Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-04 22:20:43 -0700 (Sat, 04 May 2002)
Revision: 3597
Log message:
Replaced the use of "setbvd_prop" with "sep".
Separated the definition of kernels from Czf_itt_hom, and created a new
module Czf_itt_ker for kernels.