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