F 00_INDEX.TXT                      	00_index.txt
F KHG-0.000                         	khg-0.5.tar.gz
F KHG-0.001                         	khg-0.5.ps.gz
F KHG-0.002                         	khg-0.5.lsm
F KHG-0.5                           	khg-0.5.dvi.gz