Jukebox.TPTP.Print

prettyShow

prettyNames

showClauses

pPrintClauses

showProblem

pPrintProblem

pPrintProof