sdiehl/wiwinwlh — pull request #21 by sergv (2014-10-27 22:57:22+00:00)
Title: Fix conjuction/disjunction typo

I believe conjunction and disjunction symbols were confused in the "Manual Proofs" section.