Add intermezzo on wild binders.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 10:53:09 +0000 (11:53 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 10:53:09 +0000 (11:53 +0100)
commit8638abef4686335ede35793b43f3e25930822544
treefa768f6194ff7158d06758449882874d4bb0a813
parent22ab5555a195a5c054bfe8e6dfd7fc0e011787fe
Add intermezzo on wild binders.
Chapters/Normalization.tex