Merge pull request #15 from MartinHaimberger/WLOGIMPROVEMENT
authorMarc-André Moreau <marcandre.moreau@gmail.com>
Wed, 6 Nov 2013 18:56:30 +0000 (10:56 -0800)
committerMarc-André Moreau <marcandre.moreau@gmail.com>
Wed, 6 Nov 2013 18:56:30 +0000 (10:56 -0800)
improved wlog


Trivial merge