It seems Bayes never actually wrote down what is now called Bayes Theorem. (Perhaps he knew of it). I think it was Laplace that recognized the full generality of the relationship.