From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 9 Dec 2009 09:26:56 +0000 (+0100)
Subject: Slightly improve the determinism proof section.
X-Git-Tag: final-thesis~10
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=51c4ee734de45dac80f73cab386164e1e8e4098e;hp=51c4ee734de45dac80f73cab386164e1e8e4098e

Slightly improve the determinism proof section.
---