/arith_q.pl/1.1.1.1/Mon Apr  9 19:53:54 2001//
/class.pl/1.1.1.1/Mon Apr  9 19:53:55 2001//
/geler.pl/1.1.1.1/Mon Apr  9 19:53:55 2001//
/nfq.pl/1.1.1.1/Mon Apr  9 19:53:55 2001//
/geler.yap/1.2/Wed Jun  6 15:08:09 2001//
/nfq.yap/1.2/Wed Nov 14 16:24:59 2001//
/arith_q.yap/1.1/Fri Nov  9 22:47:21 2001//
/class.yap/1.1/Fri May 24 00:48:51 2002//
D
