From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Fri, 30 Oct 2009 16:42:54 +0000 (+0100)
Subject: Add some stuff about provable properties of our system.
X-Git-Tag: final-thesis~185
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=c684451040e76a69af0507381dd03ecc2b72d0f1;hp=c684451040e76a69af0507381dd03ecc2b72d0f1;p=matthijs%2Fmaster-project%2Freport.git

Add some stuff about provable properties of our system.

This section is still incomplete, the actual (ideas for) proofs still need
to be written.
---