# HG changeset patch
# User nipkow
# Date 1363548566 -3600
# Node ID 027cdce376d50227683cff40d3788f337141de67
# Parent  4edb82207c5cc262ed0aebf507e6b469f76d603f
tuned

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}