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