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

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