| commit | f143ac9ebabdf74e9b433bc6e5c646abb41f3eb4 | [log] [tgz] |
|---|---|---|
| author | Joachim Bingel <joa.bingel@gmail.com> | Wed Dec 04 18:52:54 2013 +0000 |
| committer | Joachim Bingel <joa.bingel@gmail.com> | Wed Dec 04 18:52:54 2013 +0000 |
| tree | b463fb96f19edd8b951c0cd4fc8badb1580b61e3 | |
| parent | 1417e1906a3a7ec5c89cf8024ebc3a7ff2d11591 [diff] |
some more negation support: not(p and q) -> (not p) or (not q)