diff -r d236e75e1d55 -r 200d2a3eb1b1 slides/slides05.tex
--- a/slides/slides05.tex	Mon Oct 22 23:37:11 2018 +0100
+++ b/slides/slides05.tex	Tue Oct 23 08:56:28 2018 +0100
@@ -271,14 +271,13 @@
 \frametitle{Records}
 
 \begin{itemize}
-\item new regex: \bl{$(x:r)$}\hspace{7mm}new value: 
-\bl{$Rec(x,v)$}\medskip
+\item new regex: \bl{$(x:r)$}\hspace{7mm}new value: \bl{$Rec(x,v)$}\medskip\pause
 
 \item \bl{$nullable(x:r) \dn nullable(r)$}
-\item \bl{$der\,c\,(x:r) \dn der\,c\,r$}
+\item \bl{$der\,c\,(x:r) \dn (x:der\,c\,r)$}
 \item \bl{$mkeps(x:r) \dn Rec(x, mkeps(r))$}
-\item \bl{$inj\,(x:r)\,c\,v \dn Rec(x, inj\,r\,c\,v)$}
-\end{itemize}\bigskip\bigskip
+\item \bl{$inj\,(x:r)\,c\,Rec(x, v) \dn Rec(x, inj\,r\,c\,v)$}
+\end{itemize}\bigskip\bigskip\pause
 
 \small
 for extracting subpatterns \bl{$(z: ((x:ab) + (y:ba))$}
@@ -286,6 +285,7 @@
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
 \frametitle{Environments}