Michael Raskin d03599f8ce Adding TPTP ... svn path=/nixpkgs/trunk/; revision=27468		2011-06-15 10:35:18 +00:00
..
coq
cvc3
eProver
hol
hol_light
iprover
isabelle
leo2
matita
minisat
opensmt
prover9
satallax
spass
ssreflect
tptp