examples include an Irish synod in 800 AD, and a sermon by Agobard of Lyon (810 AD).

King Kálmán (Coloman) of Hungary, in Decree 57 of his First Legislative Book (published in 1100), banned witch-hunting because he said, "witches do not exist". The "Decretum" of Burchard, Bishop of Worms (about 1020), and especially its 19th book, often known separately as the "Corrector", is another work