/arith_r.pl/1.2/Thu Nov 15 00:01:39 2001//
/arith_r.yap/1.1/Thu Nov 15 17:17:54 2001//
/class.pl/1.2/Thu Nov 15 00:01:40 2001//
/class.yap/1.2/Sat Jan 26 05:37:32 2002//
/geler.pl/1.1.1.1/Mon Apr  9 19:54:00 2001//
/geler.yap/1.3/Thu Nov 15 00:01:40 2001//
/nf.yap/1.3/Thu Nov 15 17:17:54 2001//
/nfr.pl/1.1.1.1/Mon Apr  9 19:54:00 2001//
/nfr.yap/1.2/Thu Nov 15 00:01:40 2001//
D
