gienah@gentoo.org mgorny@gentoo.org haskell@gentoo.org Gentoo Haskell sci@gentoo.org Gentoo Science Project Add integration support for the Isabelle/HOL theorem prover. Z3Prover/z3