On-Line Proofs