探索伊莎贝尔完成的理论
Explore finished theories in Isabelle
我想查看 Isabelle/HOL 分布的向量空间理论文件中的定义。 Isabelle 的邮件列表的 This thread 解释了如何使用以下命令执行此操作：isabelle make HOL-Base。
我在 Windows 10 下工作。我想上面的命令是针对 Linux 的。我怎样才能在我的系统中获得相同的效果？
尝试使用 isabelle jedit -l Pure 从命令行启动 Isabelle（命令行工具通过 Windows 下的 Isabelle2018\Cygwin-Terminal.bat 调用）。现在 Isabelle/Pure 被用作基础图像而不是 Isabelle/HOL。接下来从Isabelle安装目录加载你要查看的理论文件（HOL的东西在<isabelle-dir>/src/HOL下）
我想查看 Isabelle/HOL 分布的向量空间理论文件中的定义。 Isabelle 的邮件列表的 This thread 解释了如何使用以下命令执行此操作：isabelle make HOL-Base。
我在 Windows 10 下工作。我想上面的命令是针对 Linux 的。我怎样才能在我的系统中获得相同的效果？
尝试使用 isabelle jedit -l Pure 从命令行启动 Isabelle（命令行工具通过 Windows 下的 Isabelle2018\Cygwin-Terminal.bat 调用）。现在 Isabelle/Pure 被用作基础图像而不是 Isabelle/HOL。接下来从Isabelle安装目录加载你要查看的理论文件（HOL的东西在<isabelle-dir>/src/HOL下）