Rename example function app2 to twice.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 19:53:35 +0000 (20:53 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 19:53:35 +0000 (20:53 +0100)
commitbff5a598be513f497ad61d29b7c7584f94d2b993
tree6894c5a5cb2427655f485cc32e07731fbf1fcd33
parentfeee31da167a3c0505d2683d3e81e2597743f1a6
Rename example function app2 to twice.

app2 would get the 2 in subscript, which might be confusing.
Chapters/Normalization.tex