
diff -r b38f8d5e0b09 -r 840a857354f2 Slides/Slides2.thy
--- a/Slides/Slides2.thy	Sun Jul 11 21:18:02 2010 +0100
+++ b/Slides/Slides2.thy	Mon Jul 12 21:48:39 2010 +0100
@@ -237,6 +237,8 @@
   \end{tikzpicture}
   \end{textblock}}
 
+  
+
   \end{frame}}
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 *}




