tweaked TPTP formula kind for typing information used in the conjecture
tweaked TPTP formula kind for typing information used in the conjecture

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle