From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 30 Nov 2009 19:50:12 +0000 (+0100)
Subject: Finalize the proofs section.
X-Git-Tag: final-thesis~136
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=627861d0a5c3dfeb94b75f0f09c3e45906e46ea0;hp=627861d0a5c3dfeb94b75f0f09c3e45906e46ea0

Finalize the proofs section.

Also add a section about proofs to the future work section.
---