klauso/PLT2012 — pull request #28 by Toxaris (2013-01-14 16:36:29+00:00)
Title: Bug in motivating example

The motivating example for the normalization lecture misses an application.