comparison ProblemsIdeas.txt @ 3238:0478ad72d214

Fixed a () type bug in the negate canonicalizer.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 27 Jul 2011 14:17:00 -0700
parents e3d3fd5b638a
children 0ffcce571d09
comparison
equal deleted inserted replaced
3237:399aa66d375e 3238:0478ad72d214