The Hadamard function and the Feynman propagator in the AdS/CFT correspondence