../ DOTSEQN.DTX 11-Mar-1996 22:31 14K DOTSEQN.INS 11-Mar-1996 22:31 660 README 11-Mar-1996 22:31 70 TRANS.TBL 08-May-1997 18:16 142