log

age author description
Wed, 25 Jun 2014 11:20:50 +0200 Lukas Stadler handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner