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

コンパイルできずhtmlが生成できなかったので原文Version 3.1 (July 2014)を参考に書きかえた。
coqのバージョンはversion 8.4pl4 (July 2014)だった。