sympy/sympy — pull request #807 by Anxuiz (2011-12-03 04:54:11+00:00)
Title: Import all public functions and classes into Sphinx: logic

* Imports the public functions and classes into the logic module
* Cleans up a bit of formatting for consistency
* Fixes previous Sphinx warnings for logic.txt

GCI Task: http://google-melange.appspot.com/gci/task/view/google/gci2011/7137320