gienah@gentoo.org Mark Wright sci-mathematics@gentoo.org Gentoo Mathematics Project A text front-end for the Kodkod Java library. Add integration support for the Isabelle/HOL theorem prover.