sfja/sfja — pull request #34 by solorab (2014-12-20 09:09:52+00:00)
Title: コンパイルできなかったので修正

コンパイルできずhtmlが生成できなかったので原文Version 3.1 (July 2014)を参考に書きかえました。
coqのバージョンはubuntu14.10のaptで入れたversion 8.4pl4 (July 2014)でした。古いバージョンのcoqでもコンパイルできるかは試せていません。