Version: sci-mathematics/e 1.8-r1:0/1.8

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

USE Flags:doc examples isabelle

Version: sci-mathematics/e 1.8:0/1.8

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

USE Flags:doc examples isabelle

Version: sci-mathematics/e 1.6:0/1.6

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

USE Flags:doc examples isabelle

Version: sci-mathematics/e 1.5:0/1.5

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

USE Flags:doc examples isabelle

1.51.61.81.8-r1
"~amd64 ~x86""~amd64 ~x86""~amd64 ~x86""~amd64 ~x86"
comments powered by Disqus