Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- fol2tptp(Arg1, Arg2)
- fol2tptp(Arg1, Arg2, Arg3)
- fol2tptpNew(Arg1, Arg2)
- fol2tptpNew(Arg1, Arg2, Arg3)
- fol2tptpOld(Arg1, Arg2)
- fol2tptpOld(Arg1, Arg2, Arg3)
- printArgs(Arg1, Arg2)