reiddraper/haskell-logic — pull request #1 by jmct (2013-01-09 01:42:34+00:00)
Title: Do not keep isNotOrLeaf, distributeDisjunction is improved but still fla...

Your isNotAnd is a way better solution than my temporary stopgap isNotOrLeaf

but the other diffs should be useful.