From 9bb95d2ab170ce74fb2b2b4d3135e21529e32ccd Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 15 Mar 2016 10:42:16 +0100
Subject: Fix task 6

---
 task6.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/task6.tex b/task6.tex
index ef3a95d..58888d2 100644
--- a/task6.tex
+++ b/task6.tex
@@ -91,7 +91,7 @@ In het geval van structureel operationele semantiek hebben we afleidingsrijen va
   \transl{\scomp{\sass{x}{-1}}\orwhile}s \dimpl^* & \transl{\orwhile}s \\
                                          \dimpl\enspace & \dots\\
 \end{align*}
-Volgens mij zijn de twee semantieken voor dit statement dus \emph{niet} gelijk, want natuurlijke semantiek garandeert dat het statement op elke toestand termineert, terwijl structureel operationele semantiek dit niet doet.
+Volgens mij zijn de twee semantieken voor dit statement dus \emph{niet} equivalent, want natuurlijke semantiek garandeert dat het statement op elke toestand termineert, terwijl structureel operationele semantiek dit niet doet.
 
 \end{document}
 
-- 
cgit v1.2.3