Update many minor details, and include more of Arjan's comments
authorChristiaan Baaij <baaijcpr@wlan229131.mobiel.utwente.nl>
Wed, 10 Mar 2010 16:51:50 +0000 (17:51 +0100)
committerChristiaan Baaij <baaijcpr@wlan229131.mobiel.utwente.nl>
Wed, 10 Mar 2010 16:51:50 +0000 (17:51 +0100)
commit4472d01216b9ec00fc8b2cea2a49452b7895fef6
tree6a9bbfb365541fe094d658d6f66a1521e4218967
parentcb7870f3ed653aaf6241e014b2491178460ffb3c
Update many minor details, and include more of Arjan's comments
c╬╗ash.lhs