ProofCafe/Coq02 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• ProofCafe/Coq02 は削除されています。
• ProofCafe/Coq02 の差分を削除

[[ProofCafe]]