Michael Raskin 8dc61a6519 Update EKRHyper		2014-03-08 21:12:59 +04:00
..
coq
cvc3
ekrhyper	Update EKRHyper	2014-03-08 21:12:59 +04:00
eprover
hol
hol_light
iprover
isabelle
lci
leo2
logisim
matita
minisat
opensmt
otter
picosat
prover9
satallax
spass
ssreflect
stp
tptp