log

age author description
Tue, 02 Apr 2013 14:51:59 +0200 Roland Schatz Fix bug in integer canonicalization.
Tue, 02 Apr 2013 12:57:58 +0200 Roland Schatz Merge.
Tue, 02 Apr 2013 11:48:46 +0200 Roland Schatz Canonicalize (a + b) - b and (a - b) + b.