title: How to use Eclipse TPTP project example
body: <p>I've installed Eclipse TPTP and the TPTP project examples. I am pretty sure the TPTP project examples contains a number of ready-to-use examples. Unfortunately, I don't know how to get those examples. Could anyone please shed a light on this?</p>