GoProof edits

GoProof edits