ProofCafe/Coq01 の変更点

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

ProofCafeのwikiはこちら

http://proofcafe.org/wiki/