log

age author description
Wed, 25 Jun 2014 11:21:44 +0200 Lukas Stadler implement Canonicalizable.Binary in the BinaryOpLogicNode hierarchy
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler implement Canonicalizable.Unary in the UnaryOpLogicNode hierarchy
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler non-adding factory methods in BitLogicNode