Wow, the TPTP has come a long way! Great. It does take some time to figure out though. ;-)
Thanks for the tip. Nick. Jesse Kuhnert wrote: > I sat down and took the time to get this at least mostly working, and it's > really really cool :) > > http://eclipse.org/tptp/ --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
