tree b463fb96f19edd8b951c0cd4fc8badb1580b61e3
parent 1417e1906a3a7ec5c89cf8024ebc3a7ff2d11591
author Joachim Bingel <joa.bingel@gmail.com> 1386183174 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1386183174 +0000

some more negation support: not(p and q) -> (not p) or (not q)