86e44e72bf
svn path=/nixpkgs/trunk/; revision=24967 |
||
---|---|---|
.. | ||
coq | ||
eProver | ||
hol | ||
hol_light | ||
isabelle | ||
leo2 | ||
prover9 | ||
satallax | ||
spass | ||
ssreflect |
86e44e72bf
svn path=/nixpkgs/trunk/; revision=24967 |
||
---|---|---|
.. | ||
coq | ||
eProver | ||
hol | ||
hol_light | ||
isabelle | ||
leo2 | ||
prover9 | ||
satallax | ||
spass | ||
ssreflect |