From d76dbfdcae8e0885e8379da3e4db99f33dfc56cb Mon Sep 17 00:00:00 2001
From: Evi
Date: Fri, 10 Jun 2016 10:08:42 +0200
Subject: aanpassing sos + kleine fix ns trans

---
 deftrans.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'deftrans.tex')

diff --git a/deftrans.tex b/deftrans.tex
index d83bf55..a4d5669 100644
--- a/deftrans.tex
+++ b/deftrans.tex
@@ -1,7 +1,9 @@
 % vim: set spelllang=nl:
 \subsection{Transities}
 \label{sec:def:trans}
-We hebben gekozen om de semantiek van Smurf in natuurlijke semantiek te definiëren. In principe hadden we er ook voor kunnen kiezen om te gaan voor structurele operationele semantiek, echter denken wij dat we door het gebruik van natuurlijke semantiek meer kunnen in onze analyse. 
+We hebben gekozen om de semantiek van Smurf in natuurlijke semantiek te definiëren. In principe hadden we er ook voor kunnen kiezen om te gaan voor structurele operationele semantiek, dit zullen we dan ook nog even kort toelichten in \autoref{sec:sos} . Echter zal de verdere uitwerking dus in natuurlijke semantiek zijn. 
+
+\medskip
 
 Bij het definiëren van de natuurlijke semantiek van Smurf zullen we de
 verzameling van transities als een relatie $\to$ tussen
-- 
cgit v1.2.3