log

age author description
Sat, 27 Apr 2013 17:16:03 +0200 Thomas Wuerthinger Implement swapping of == if one value is proven equal and the other is proven distinct.