/chrcmp.pl/1.2/Wed May 24 02:35:39 2006//
/compenv.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/concat.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/getval.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/matching.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/operator.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/ordering.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/sbag.pl/1.2/Thu Jan  3 06:42:24 2002//
/sbag_a.pl/1.2/Thu Jan  3 06:42:24 2002//
/sbag_l.pl/1.2/Thu Jan  3 06:42:24 2002//
/trace.pl/1.1.1.1/Mon Apr  9 19:54:01 2001//
/trace.yap/1.3/Sun Dec  5 05:01:26 2004//
D/examples////
