Hello Dave, I have been through this previously but if you notice circuit properly input is given to the emitters of both of the input transistors T13 and T10, and bases are provided with +6V dc and -6V dc respectively. so I am not sure it is Push Pull, some other combination .