tree cff7e0c58521d987294585bb58378b9e62b54472
parent 6dfac53ab0a1752a86d261a3fe32c1cb6ba8425a
author Julian Hyde <julianhyde@gmail.com> 1379842940 -0700
committer Julian Hyde <julianhyde@gmail.com> 1379842940 -0700

Improve foldAnd's behavior when one or more conditions are null.
Add space after unary operator to prevent "-(-5)" becoming "--5".