Coq error: The reference evenb was not found in the current environment
<p>I'm trying to go through the Software Foundations Coq book (<a href="http://www.cis.upenn.edu/~bcpierce/sf/current/toc.html" rel="noreferrer">http://www.cis.upenn.edu/~bcpierce/sf/current/toc.html</a>), but when I compile Induction.v (which looks like <a href="http://www.cs.uml.edu/~rhenniga/coq/sf_induction.html" rel="noreferrer">http://www.cs.uml.edu/~rhenniga/coq/sf_induction.html</a>), I get the error message "Error: The reference evenb was not found in the current environment." -- even after compilation of Basics.v. Any ideas why?</p>