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}
 *}