/arith.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/bb.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/bb.yap/1.1/Wed Jun  6 19:10:51 2001//
/bv.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/bv.yap/1.2/Thu Nov 15 00:01:38 2001//
/compenv.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/dump.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/expand.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/expand.yap/1.3/Sun Dec  5 05:01:42 2004//
/fourmotz.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/ineq.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/ineq.yap/1.1/Wed Jun  6 19:10:51 2001//
/itf3.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/monash.pl/1.2/Thu Nov 15 00:01:39 2001//
/nf.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/nf.yap/1.1/Wed Jun  6 19:10:51 2001//
/ordering.pl/1.1.1.1/Mon Apr  9 19:53:57 2001//
/ordering.yap/1.1/Wed Jun  6 19:10:51 2001//
/printf.pl/1.1.1.1/Mon Apr  9 19:53:57 2001//
/project.pl/1.1.1.1/Mon Apr  9 19:53:57 2001//
/redund.pl/1.1.1.1/Mon Apr  9 19:53:57 2001//
/store.pl/1.1.1.1/Mon Apr  9 19:53:57 2001//
/store.yap/1.1/Wed Jun  6 19:10:51 2001//
D/examples////
