Hal 9000 said:
Obi-Wan said he trained Vader in ANH, not Luke's father.
Right, it's so hard to think of them as two different people at this point. But you're right, he only refers to Vader as his pupil and just says that he fought alongside Luke's father in the Clone Wars.