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 Empire—Volume 1— Chapter 37