From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 5 Oct 2009 12:17:07 +0000 (+0200)
Subject: Restructure the introduction of the Normalization chapter.
X-Git-Tag: final-thesis~222
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=21c8a86147c874c29156d1859a670c3f7c6df7ee;hp=21c8a86147c874c29156d1859a670c3f7c6df7ee

Restructure the introduction of the Normalization chapter.

It now builds up to the formal definition using smaller examples, which
should make the chapter more easy to understand.
---