Thu, 21 Apr 2011 11:22:13 +0200Removed dead code
Edouard Tisserant [Thu, 21 Apr 2011 11:22:13 +0200] rev 291
Removed dead code

Thu, 14 Apr 2011 19:17:20 +0100Fixing implementation of CU, CD, and CUD in standard library.
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Apr 2011 19:17:20 +0100] rev 290
Fixing implementation of CU, CD, and CUD in standard library.