I'm not familiar with version 9's interface specifically but I don't think it's all that different from version 11 and in v11 you find sharpening options in the Detail panel.
In the Detail panel you'll find options to toggle the "Lens Softness" option as well as Unsharp Mask with Intensity, Radius, Threshold and Edge Offset sliders.