Manpages of ladr4-apps in Debian wheezy

• attack(1)
• autosketches4(1)
• clausefilter(1)
• clausetester(1)
• complex(1)
• directproof(1)
• dprofiles(1)
• fof-prover9(1)
• get_givens(1)
• get_interps(1)
• get_kept(1)
• gvizify(1)
• idfilter(1)
• interpfilter(1)
• ladr4-apps(1)
• ladr_to_tptp(1)
• latfilter(1)
• looper(1)
• miniscope(1)
• mirror-flip(1)
• newauto(1)
• newsax(1)
• olfilter(1)
• perm3(1)
• renamer(1)
• rewriter(1)
• sigtest(1)
• tptp_to_ladr(1)
• unfast(1)
• upper-covers(1)