Reference the substitution intermezzo.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 15:02:24 +0000 (16:02 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 2 Dec 2009 15:02:24 +0000 (16:02 +0100)
commit0eb8796e904c051f3103e10629dad4a3d13bfec5
tree9f747e47e2100d8d17facbe61a79b48c51874abe
parent60bbca525aa230c262f6a51a4033d9bd7f6b3dde
Reference the substitution intermezzo.
Chapters/Normalization.tex