Está certo o uso do verbo haver nesta frase: Naquela manhã, depois de haver caminhado um bom pedaço(...)
O verbo haver está fazendo sinônimo de "ter"?
Nesse caso, ele terá o sentido equivalente de ter porque é auxiliar do verbo pessoal, junto do particípio ou do infinitivo antecedido da preposição “de”.
Está correto sim, pois nesse contexo o verbo HAVER tem o significado de TER.
Cláudio, sim, está adequado: em discurso formal, use "haver" como auxiliar de verbos pessoais em locução verbal com particípio.
Em uso informal, usamos "ter": Depois de ter estudado, ele se formou no fim do ano.
Espero ter ajudado. At.te, prof. Miguel Augusto Ribeiro.
