Your settlement agreements should contain all the terms of your divorce. But it is the "Judgment for Dissolution," aka "divorce decree," which is actually the document that grants the divorce; it is essentially a court order. The Judgment for Dissolution will have some standard language in it, and state that the terms of the divorce are in the settlement agreements.
The Judgment for Dissolution might have a provision allowing a name change back to a pre-marital name. The person wanting a name change will need a "certified" copy of the Judgment for Dissolution, then will need to take that to the Social Security Administration office (where name changes are handled).
The copy of the judgement sent by your lawyer will likely not be certified. To get a certified copy, you will need to visit the clerk of court in whatever county you were divorced, and request a certified copy. Depending upon the printing and certification fees in the particular court, a certified copy might cost you around twenty dollars.