
diff -r a9e4acbf7b00 -r 3629680a20a2 Slides/Slides.thy
--- a/Slides/Slides.thy	Wed Aug 24 08:03:42 2011 +0000
+++ b/Slides/Slides.thy	Wed Aug 24 10:01:24 2011 +0000
@@ -238,10 +238,21 @@
   \begin{frame}[c]
   \frametitle{\LARGE The Myhill-Nerode Theorem}
 
-  \mbox{}\\[5cm]
+
+  \begin{tikzpicture}[scale=3]
+  \clip[draw] (0.5,0.5) circle (.6cm);
+  \draw[step=.5cm,gray,very thin] (-1.4,-1.4) grid (1.4,1.4);
+  \draw (-1.5,0) -- (1.5,0);
+  \draw (0,-1.5) -- (0,1.5);
+  \draw (0,0) circle (1cm);
+  \draw (3mm,0mm) arc (0:30:3mm);
+  \end{tikzpicture}
+
+  
 
   \begin{itemize}
-  \item \smath{\text{finite}\, (U\!N\!IV /\!/ \approx_L) \;\Leftrightarrow\; L\; \text{is regular}}
+  \item \smath{\text{finite}\, (U\!N\!IV /\!/ \approx_L) 
+  \;\Leftrightarrow\; L\; \text{is regular}}
   \end{itemize}
 
   \end{frame}}




