/bb.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/bv.pl/1.1.1.1/Mon Apr  9 19:53:56 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//
/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//
/itf3.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/nf.pl/1.1.1.1/Mon Apr  9 19:53:56 2001//
/ordering.pl/1.1.1.1/Mon Apr  9 19:53:57 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//
D/examples////
/bb.yap/1.1/Wed Jun  6 15:05:53 2001//
/ineq.yap/1.1/Wed Jun  6 15:06:23 2001//
/ordering.yap/1.1/Wed Jun  6 15:09:08 2001//
/store.yap/1.1/Wed Jun  6 15:01:53 2001//
/bv.yap/1.2/Wed Nov 14 16:13:47 2001//
/expand.yap/1.2/Tue Nov 13 17:29:38 2001//
/monash.pl/1.2/Wed Nov 14 18:34:43 2001//
/arith.pl/1.1.1.1/Fri Nov  9 22:46:48 2001//
/expand.pl/1.1.1.1/Tue Nov 13 17:12:12 2001//
/nf.yap/1.1/Thu Dec  6 18:27:02 2001//
