Note 133
This addition to the Nicene, or rather the Constantinopolitan creed, was first made in the eighth council of Toledo, A.D. 653; but it was expressive of the popular doctrine (Gerard Vossius, tom. vi. p. 527, de tribus Symbolis).
The History Of The Decline and Fall Of The Roman EmpireVolume 1Chapter 37