total 142
-rw-rw-r--   1 ftpmaint server       540 May  2 02:44 00Contents
-rw-rw-r--   1 ftpmaint server     17928 Nov  4  1996 amsfonts.dtx
-rw-rw-r--   1 ftpmaint server      9728 Nov  4  1996 amsfonts.fdd
-rw-rw-r--   1 ftpmaint server      3936 Nov  2  1996 amsfonts.ins
-rw-rw-r--   1 ftpmaint server     17689 Nov  4  1996 amssymb.dtx
-rw-rw-r--   1 ftpmaint server      4375 Nov  4  1996 cmmib57.dtx
-rw-rw-r--   1 ftpmaint server      6628 Nov  4  1996 eufrak.dtx
-rw-rw-r--   1 ftpmaint server      7267 Nov  4  1996 euscript.dtx
