total 144
-rw-rw-r--   1 ftpmaint server       540 Jul 25 02:46 00Contents
-rw-rw-r--   1 ftpmaint server     18965 Sep 17 09:26 amsfonts.dtx
-rw-rw-r--   1 ftpmaint server      9798 May 13 14:30 amsfonts.fdd
-rw-rw-r--   1 ftpmaint server      3887 May 15 08:37 amsfonts.ins
-rw-rw-r--   1 ftpmaint server     17687 May 15 10:10 amssymb.dtx
-rw-rw-r--   1 ftpmaint server      4472 May 15 10:17 cmmib57.dtx
-rw-rw-r--   1 ftpmaint server      6906 May 15 10:20 eufrak.dtx
-rw-rw-r--   1 ftpmaint server      7483 May 15 10:24 euscript.dtx
