# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1248962546 -7200
# Node ID fa2228a1d1598cf6585588a128b6e265704a6ecf
# Parent  24c68350d0591a1487f91a24305a709dc66c6a66
tuned figure placement

diff -r 24c68350d059 -r fa2228a1d159 ProgTutorial/Package/Ind_Interface.thy
--- a/ProgTutorial/Package/Ind_Interface.thy	Thu Jul 30 15:51:51 2009 +0200
+++ b/ProgTutorial/Package/Ind_Interface.thy	Thu Jul 30 16:02:26 2009 +0200
@@ -5,7 +5,7 @@
 section {* Parsing and Typing the Specification\label{sec:interface} *}
 
 text_raw {*
-\begin{figure}[p]
+\begin{figure}[t]
 \begin{boxedminipage}{\textwidth}
 \begin{isabelle}
 *}
diff -r 24c68350d059 -r fa2228a1d159 progtutorial.pdf
Binary file progtutorial.pdf has changed