knuton/la-girafe-sportive — pull request #21 by yfyf (2014-02-02 13:57:25+00:00)
Title: Comments and cleanup

Added more comments, fixed some typos, threw out some unused or duplicate lemmas, re-order some so that they are more decently grouped. Mostly it is just parts of my code, so you can kind of merge without looking.