Minor alterations.
Minor alterations.
Adding resourceful route for ProofBody
Creating views for ProofBody Model.
Adding links to access ProofBody.