jasper 0f2911898f add prover9/mace4 to dependencies so mace4 model builder and prover9 theorem ... prover are available		2011-06-09 08:32:08 +00:00
..
patches
pkg	fix various typos, from Anthony J. Bentley with a few tweaks by myself	2011-03-14 09:15:33 +00:00
distinfo
Makefile	add prover9/mace4 to dependencies so mace4 model builder and prover9 theorem	2011-06-09 08:32:08 +00:00