Add Scrutinee binder removal.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 14:17:42 +0000 (15:17 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 14:17:42 +0000 (15:17 +0100)
commit05ab912a6a0d53892521265750b313126ab442af
treeeb1c2125dee482455c4b31a54f3e4e12f9283482
parent98d81639c3c9d4652c5828fca4a76fd88ced42eb
Add Scrutinee binder removal.
Chapters/Normalization.tex
Chapters/Prototype.tex
Outline