コンパイルできなかったので修正

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