GoProof Tool bar cross comment

GoProof Tool bar cross comment