sympy/sympy — pull request #1447 by smichr (2012-07-29 10:19:44+00:00)
Title: Randomization fixes

This fixes the problem with the boolalg doctest failure.