From 6b20999e1d5b6dd8b4f390fc0a38cfacf2a8aa81 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 27 Apr 2016 11:23:51 +0200
Subject: oops

---
 deftrans.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/deftrans.tex b/deftrans.tex
index 0ff04e5..aae4239 100644
--- a/deftrans.tex
+++ b/deftrans.tex
@@ -6,11 +6,11 @@ Bij het definiëren van de natuurlijke semantiek van Smurf zullen we de
 verzameling van transities als een relatie $\to$ tussen
 $\Pgm\times\Input\times\State$ en $\Input\times\Output\times\State$ beschouwen.
 Dit schrijven we als
-$$\trans{\pgm}{\i}{\st}{\i}{\o}{\st}$$
+$$\trans{\pgm}{\ip}{\st}{\ip}{\op}{\st}$$
 en lezen we als
 \begin{quote}
-	``het programma $\pgm$ zal in toestand $\st$ gegeven input $\i$ leiden tot
-	toestand $\st$ met output $\o$ waarbij de input $\i$ niet geconsumeerd is.''
+	``het programma $\pgm$ zal in toestand $\st$ gegeven input $\ip$ leiden tot
+	toestand $\st$ met output $\op$ waarbij de input $\ip$ niet geconsumeerd is.''
 \end{quote}
 
 We hebben het hele programma $\Pgm$ nodig voor de pijl, omdat één commando
-- 
cgit v1.2.3