diff -r 4edb82207c5c -r 027cdce376d5 src/Doc/ProgProve/document/root.tex --- 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}