Russell O'Connor f9a5fa373e Upgrading HOL4 to version k.7. ... svn path=/nixpkgs/trunk/; revision=33306		2012-03-20 19:11:22 +00:00
..
coq	Fix building of Coq and update to version 8.3pl3. (Forgot to save files)	2012-03-17 16:30:23 +00:00
cvc3
eProver
hol	Upgrading HOL4 to version k.7.	2012-03-20 19:11:22 +00:00
hol_light	Update HOL Light to rev 128	2012-03-17 16:36:36 +00:00
iprover
isabelle
leo2
matita
minisat
opensmt
picosat
prover9
satallax
spass
ssreflect
tptp