In the 9th century, a Saxon monk named Gottschalk taught what is known today as double predestination. Swedish historian Bengt Hagglund explains it this way: “[Gottschalk] claimed (with some justification) that he found support for his teaching in the writings of Augustine” (p. 153). Hagglund goes on.
“Gottschalk did not say…that certain persons are predestined to evil. What is rather decided beforehand is that the ungodly will receive the punishment which they deserve, just as the righteous will receive eternal life. In both cases, therefore, the right thing is done. …The atonement wrought by Christ applies only to those elected to eternal life” (p. 153).
Hagglund also quotes Gottschalk – here’s Gottschalk:
“For just as the unchangeable God, prior to the creation of the world, by his free grace unchangeably predestined all of his elect to eternal life, so has this unchangeable God in the same way unchangeably predestined all of the rejected, who shall be condemned to eternal death for their evil deeds on judgment day according to his justice as they deserve.”
Though some defended Gottschalk, his view was condemned at a synod in 849 and he was banished to a monastic prison for 20 years. Why was he banished and his view condemned? Because, as Hagglund notes, the church of the day emphasized the freedom of the will and man’s cooperation with grace. In other words, his views weren’t appreciated because of the semi-pelagian theological context. As a side note, it is good to remember that the calvinistic Reformers didn’t make up double predestination; it wasn’t a theological novelty.