/geler.pl/1.1.1.1/Mon Apr  9 19:54:00 2001//
/nfr.pl/1.1.1.1/Mon Apr  9 19:54:00 2001//
/arith_r.pl/1.2/Fri Nov  9 21:38:09 2001//
/class.pl/1.2/Thu Nov  8 23:21:53 2001//
/geler.yap/1.3/Mon Nov 12 18:44:52 2001//
/arith_r.yap/1.1/Fri Nov  9 22:31:44 2001//
/nf.yap/1.3/Wed Nov 14 16:22:26 2001//
/class.yap/1.2/Fri Jan 25 22:24:48 2002//
/nfr.yap/1.2/Thu May 23 22:26:12 2002//
D
