/Implies/1.2/Tue Jul 13 23:43:10 1999//
/add_n.s/1.1/Mon Oct 16 01:18:17 1995//
/addmul_1.s/1.1/Mon Oct 16 01:18:18 1995//
/ffs.c/1.5/Mon Jul  5 17:36:14 2004//
/mul_1.s/1.1/Mon Oct 16 01:18:20 1995//
/sub_n.s/1.1/Mon Oct 16 01:18:21 1995//
D
