total 72
-rw-rw-r--   1 ftpmaint server       205 Dec  5 07:37 00Contents
-rw-rw-r--   1 ftpmaint server     33816 Mar 29  1995 float.dtx
-rw-rw-r--   1 ftpmaint server       839 Mar 29  1995 float.ins
