gienah@gentoo.org sci-mathematics@gentoo.org Gentoo Mathematics Project SPASS: An Automated Theorem Prover for First-Order Logic with Equality. Add integration support for the Isabelle/HOL theorem prover.