/equal.cc/1.2/Wed Aug 17 05:23:17 2005//
/greater.cc/1.2/Wed Aug 17 05:23:17 2005//
/greater_or_equal.cc/1.2/Wed Aug 17 05:23:17 2005//
/less.cc/1.2/Wed Aug 17 05:23:17 2005//
/less_or_equal.cc/1.2/Wed Aug 17 05:23:17 2005//
/not_equal.cc/1.2/Wed Aug 17 05:23:17 2005//
D
