sympy/sympy — pull request #2304 by srjoglekar246 (2013-07-21 07:38:51+00:00)
Title: Added Sphinx docs for logic module

Modiified logic.rst file as per updates to logic module since 0.7.2.