Version: sci-mathematics/spass 3.9:0/3.9

Depends On: isabelle? ( sci-mathematics/isabelle:= )

USE Flags:isabelle

Version: sci-mathematics/spass 3.7:0/3.7

Depends On: isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= )

USE Flags:doc examples isabelle

3.73.9
"~amd64 ~x86""~amd64 ~x86"
comments powered by Disqus