tuned

--- a/src/Doc/ProgProve/document/root.tex	Sun Mar 17 20:27:13 2013 +0100
+++ b/src/Doc/ProgProve/document/root.tex	Sun Mar 17 20:29:26 2013 +0100
@@ -34,7 +34,7 @@
 %\label{sec:CaseStudyExp}
 %\input{../generated/Expressions}
 
-\chapter{Logic and proof beyond equality}
+\chapter{Logic and Proof Beyond Equality}
 \label{ch:Logic}
 \input{Logic}