tptp_ast.ml 2.58 KB