Updated the summary of ATPs proofs.