noschinl/cyp — pull request #4 by larsrh (2014-11-11 09:50:52+00:00)
Title: More proof methods

(not for merging yet)