prover9-mace4(1) on Linux

The text bc0415265b1d, as Debian 5.0 (Lenny) shipped it.

graphical theorem prover interface for Prover9 and Mace4

prover9-mace4(1) on Linux now