Finalize the proofs section.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 30 Nov 2009 19:50:12 +0000 (20:50 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 30 Nov 2009 19:50:12 +0000 (20:50 +0100)
commit627861d0a5c3dfeb94b75f0f09c3e45906e46ea0
tree873dae8f4ce1cd67d8179e14a9a3105c4cff1ccf
parent100a8917713c1300a2002299cea94b04ac66848a
Finalize the proofs section.

Also add a section about proofs to the future work section.
Chapters/Future.tex
Chapters/Normalization.tex
Outline