It's called a "Certificate of Divorce." It's separate from the decree/decision. If that has been made, he should contact the court to obtain the certificate if he has not received it yet. He should get a handful of extra "true" copies as they will come in handy when taking care of various accounts.