Backup diff of Coq (No. 1)

• Backup list
• View the diff current.
• View the diff for visual.
• View the source.
• View the backup.
• Go to Coq.
  • 1 (2014-04-26 (Sat) 14:08:42)

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.

- プログラミング Coq 〜 絶対にバグのないプログラムの書き方 〜
-- http://www.iij-ii.co.jp/lab/techdoc/coqt/
- ソフトウェアの基礎（プログラミングとプログラミング言語の数学的理論）
--  http://proofcafe.org/sf/Preface_J.html