If you are using the links to Rocq source files embedded in the class
schedule, please download Induction.v and InductionTest.v
again. Will pointed out after class that I did not update links
embedded in the schedule to point to the 2025 version of the
book. Some of your submissions for Basics.v used old versions of the
file. Not to worry, we will figure this out. However, please download
a new version of Induction.v and InductionTest.v if you used links
on the schedule. Differences are minor, so it should not cost you any
time.
If you are using files downloaded directly from the Software Foundations website, you already have the correct versions and do not need to download again.