--- a/slides/slides09.tex	Tue Nov 27 07:53:57 2018 +0000
+++ b/slides/slides09.tex	Wed Nov 28 23:45:37 2018 +0000
@@ -509,19 +509,23 @@
               
 \begin{center}
 \begin{tabular}{c}
-  \bl{\infer{\mbox{}}{A\;\texttt{skip}\;A}}\qquad
-  \bl{\infer{vars(a) \subseteq A}{A\;\;(\texttt{x\,:=\,a})\;\;\{x\}\cup A}}
+  \bl{\infer{\mbox{}}{A\triangleright\texttt{skip}\triangleright{}A}}\qquad
+  \bl{\infer{vars(a) \subseteq A}{A\triangleright
+  (\texttt{x\,:=\,a})\triangleright\{x\}\cup A}}
   \medskip\\\pause
 
-  \bl{\infer{A_1\;s_1\;A_2\quad A_2\;s_2\;A_3}{A_1\;(s_1 ; s_2)\;A_3}}
+  \bl{\infer{A_1\triangleright{}s_1\triangleright{}A_2
+  \quad A_2\triangleright{}s_2\triangleright{}A_3}
+  {A_1\triangleright{}(s_1 ; s_2)\triangleright{}A_3}}
   \medskip\\\pause
   
-  \bl{\infer{vars(b)\subseteq A\quad A\;s_1\;A_1\quad A\;s_2\;A_2}
-  {A\;(\texttt{if}\;b\;\texttt{then}\;s_1\;\texttt{else}\;s_2)\;A_1\cap A_2}}
+  \bl{\infer{vars(b)\subseteq A\quad A\triangleright{}s_1\triangleright{}A_1
+  \quad A\triangleright{}s_2\triangleright{}A_2}
+  {A\triangleright(\texttt{if}\;b\;\texttt{then}\;s_1\;\texttt{else}\;s_2)\triangleright{}A_1\cap A_2}}
   \medskip\\\pause
 
-  \bl{\infer{vars(b)\subseteq A\quad A\;s\;A'}
-  {A\;(\texttt{while}\;b\;\texttt{do}\;s)\;A}}\pause
+  \bl{\infer{vars(b)\subseteq A\quad A\triangleright{}s\triangleright{}A'}
+  {A\triangleright(\texttt{while}\;b\;\texttt{do}\;s)\triangleright{}A}}\pause
 \end{tabular}  
 \end{center}
 
@@ -622,6 +626,25 @@
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
+
+\begin{frame}[c]
+\frametitle{Next Week}
+
+\begin{itemize}
+\item Revision Lecture\medskip
+\item How many  strings are in $\bl{L(a^*)}$?\pause\medskip
+\item How many  strings are in $\bl{L((a + b)^*)}$?\\ Are there more than
+  in $\bl{L(a^*)}$?
+\end{itemize}
+
+
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
+
+
+
 \end{document}
 
 %%% Local Variables: