如何使用Eclipse TPTP项目示例

Question

我已经安装了Eclipse TPTP和TPTP项目示例。我很确定TPTP项目示例包含许多现成的示例。不幸的是，我不知道如何获得这些例子。有人可以对此有所了解吗？