/equal.cc/1.2/Thu Aug 18 23:13:48 2005//
/greater.cc/1.2/Thu Aug 18 23:13:48 2005//
/greater_or_equal.cc/1.2/Thu Aug 18 23:13:48 2005//
/less.cc/1.2/Thu Aug 18 23:13:48 2005//
/less_or_equal.cc/1.2/Thu Aug 18 23:13:48 2005//
/not_equal.cc/1.2/Thu Aug 18 23:13:48 2005//
D
