/arith_q.pl/1.1.1.1/Mon Apr  9 19:53:54 2001//
/arith_q.yap/1.1/Thu Nov 15 17:17:54 2001//
/class.pl/1.1.1.1/Mon Apr  9 19:53:55 2001//
/class.yap/1.1/Fri May 24 00:48:51 2002//
/geler.pl/1.1.1.1/Mon Apr  9 19:53:55 2001//
/geler.yap/1.2/Wed Jun  6 19:10:51 2001//
/nfq.pl/1.1.1.1/Mon Apr  9 19:53:55 2001//
/nfq.yap/1.2/Thu Nov 15 00:01:38 2001//
D
