A portion of my retirement plan contributions were made after tax. How do I find out how much?

My husband is a retired Police Officer.  We know that a portion of his retirement plan was made with after tax money.  How do we find out how much?