How was Pelagianism originally formally defined?

The terms "Pelagianism" and "Semipelagianism" are often used in polemical contexts, but what was specifically anathematized by the church when the Pelagian heresy was originally condemned?