X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=941958d2ca74c23a9a796aa67aac0b5d0d8e9c7e;hp=ed55016047d2f4c8e33cd1bddb89ef4d8962c080;hb=100a8917713c1300a2002299cea94b04ac66848a;hpb=fdfc1c6248fdde5cb20ae08b0fc4268433731d10

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index ed55016..941958d 100644
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -1862,3 +1862,5 @@
 
     \subsection{Determinism}
       How to prove this?
+
+% vim: set sw=2 sts=2 expandtab: