isabelle - Error using tptp_isabelle: Unknown logic "HOL-TPTP" -


i installed isabelle2015 , ran isabelle2015/isabelle2015.

when try of using tptp_isabelle tool got following error:

$ ./isabelle tptp_isabelle 10 foo.tptp unknown logic "hol-tptp" -- no heap file found in: /home/asr/.isabelle/isabelle2015/heaps/polyml-5.5.2_x86-linux /home/asr/src/isabelle/isabelle2015/heaps/polyml-5.5.2_x86-linux 

do need set else?

you have build hol-tptp session:

isabelle build -b hol-tptp 

Comments