Manpages of spass in Debian wheezy

• FLOTTER(1)
• SPASS(1)
• dfg2ascii(1)
• dfg2dfg(1)
• dfg2otter(1)
• dfg2otter.pl(1)
• dfg2tptp(1)
• tptp2dfg(1)