total 36
-rw-rw-r--   1 ftpmaint server       205 Dec  5 07:37 00Contents
-rw-rw-r--   1 ftpmaint server     15399 Mar  9  1995 beton.dtx
-rw-rw-r--   1 ftpmaint server       336 Mar  9  1995 beton.ins
