rfindler/395-2013 — pull request #5 by mhuesch (2013-12-06 22:38:33+00:00)
Title: Counting copy

Proof not finished, contains what was worked out in class.