TPTP2DFG(1) - manual page | User commands Transforms DFG files into TPTP files. Chapters NAMESYNOPSISDESCRIPTIONOPTIONSSEE ALSOAUTHORS 2010-02-23 Loading manual page ... Download tptp2dfg(1).txt | manual plain text file Downloading man page ... Find manuals Go top