From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 9 Dec 2009 09:21:09 +0000 (+0100)
Subject: Add a section on proving determinism.
X-Git-Tag: final-thesis~13
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=1f7da57279ce037054198cb09402dcc5f1ac913e;hp=1f7da57279ce037054198cb09402dcc5f1ac913e

Add a section on proving determinism.
---