我正在运行 CoqIDE 来阅读系列教科书“软件基础”，我目前正在阅读“逻辑基础”卷。我刚刚开始第 2 章（归纳），但是当我尝试运行该行时
From LF Require Import Basics.
我收到错误声明
The file ...\LF\Basics.vo contains library
Basics and not library LF.Basics
我尝试重命名文件所在的目录，并重新编译缓冲区，但这些操作都没有帮助。我应该做什么来解决这个问题？