OKullmann/oklibrary — pull request #344 by MGwynne (2012-01-31 12:18:39+00:00)
Title: Ephp proof

Branch: ephp_proof.

Adding the proof of the extended pigeon-hole formulas as well as various utility functions for dealing with resolution proofs.

Matthew