diff -r 47e2e91705f3 -r 774d631726ad Paper/document/root.tex
--- a/Paper/document/root.tex	Tue Apr 27 19:01:22 2010 +0200
+++ b/Paper/document/root.tex	Tue Apr 27 19:51:35 2010 +0200
@@ -12,6 +12,7 @@
 \usepackage{boxedminipage}
 \usepackage{proof}
 
+\allowdisplaybreaks
 \urlstyle{rm}
 \isabellestyle{it}
 \renewcommand{\isastyleminor}{\it}%