Slightly improve the determinism proof section.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 9 Dec 2009 09:26:56 +0000 (10:26 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 9 Dec 2009 09:26:56 +0000 (10:26 +0100)
commit51c4ee734de45dac80f73cab386164e1e8e4098e
tree9e3159865a511d36ed7525f54ccff0f6ad9b636f
parent23487a1fa3e35868cd9d838eb3c59d02ed5ebdac
Slightly improve the determinism proof section.
Chapters/Normalization.tex