/README/1.1.1.1/Sat Sep  5 22:59:23 1998//
/arith.elf/1.4/Mon Aug 25 16:55:33 2003//
/arith.thm/1.5/Mon Aug 25 16:55:33 2003//
/sources.cfg/1.5/Mon Aug 25 16:55:33 2003//
/test.cfg/1.1.1.1/Sat Sep  5 22:59:23 1998//
D
