
diff -r 3f78dc600dce -r 925a5e9aa832 Paper/Paper.thy
--- a/Paper/Paper.thy	Thu Apr 01 06:47:37 2010 +0200
+++ b/Paper/Paper.thy	Thu Apr 01 08:06:01 2010 +0200
@@ -1641,7 +1641,7 @@
 
 text {*
 
-  \begin{figure}
+  \begin{figure}[t!]
   \begin{boxedminipage}{\linewidth}
   \small
   \begin{tabular}{l}




