/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.6/Sun Jan  8 06:50:00 2006//
/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
