TPTP

Install
Eclipse Indigoに以下のようにインストール

Option 2: Installing TPTP from the TPTP update site using the Eclipse Provisioning Manager

This option can be used as an alternative to Option 1 if you want to use the Provisioning Manager. This option lets you choose the specific version of TPTP to install or upgrade to, however, you must first install the required prerequisites.

To install TPTP packages from the TPTP update site using the Eclipse Provisioning Manager: From the menu in Eclipse, select Help > Install New Software... Enter the TPTP update site URL (http://download.eclipse.org/tptp/updates) in the Work with field. Select the version of TPTP to install, or select a newer version to upgrade to. Click Next, and follow the instructions to complete the installation. Restart Eclipse when prompted.

http://www.eclipse.org/tptp/home/downloads/4.7.0/documents/installguide/InstallGuide.html#install_prereq