noschinl/cyp — pull request #6 by larsrh (2014-11-13 16:27:41+00:00)
Title: Proof by case analysis

Here be dragons