diff README.md @ 16224:68f16c1057d4

let LogicNegationNode and ShortCircuitNode implement Canonicalizable.Unary/Binary
author Lukas Stadler <lukas.stadler@oracle.com>
date Wed, 25 Jun 2014 16:55:01 +0200
parents 8dfd3f53ba4a
children 271eee87201c
line wrap: on
line diff