DFG2OTTER(1) - manual page | User commands

Transforms DFG clause files into Otter format.

Loading manual page ...

This manual	Reference	Other manuals
dfg2otter(1)	referred by	dfg2ascii(1) \| dfg2otter.pl(1) \| dfg2tptp(1) \| SPASS(1) \| tptp2dfg(1)
dfg2otter(1)	refer to	dfg2otter.pl(1) \| SPASS(1)