/equal.cc/1.1/Fri Oct 22 05:32:15 2004//
/greater.cc/1.1/Fri Oct 22 05:32:15 2004//
/greater_or_equal.cc/1.1/Fri Oct 22 05:32:15 2004//
/less.cc/1.1/Fri Oct 22 05:32:15 2004//
/less_or_equal.cc/1.1/Fri Oct 22 05:32:15 2004//
/not_equal.cc/1.1/Fri Oct 22 05:32:15 2004//
D
