OKullmann/oklibrary — pull request #275 by MGwynne (2011-10-10 12:32:20+00:00)
Title: Ephp proof

Branch: ephp_proof.

Adding the proof of EPHP(n) at the maxima level.

Also adding various auxilliary functions for resolution proofs.

Matthew