# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1386024092 -3600
# Node ID f386dfdaeade5fcc8bc02916ad0662e44d698bd6
# Parent  010d8f7fa899de91d946102dbc0be3ae562727b9
change title to something actually describing the content

diff -r 010d8f7fa899 -r f386dfdaeade notes/tex/ue07_notes.tex
--- a/notes/tex/ue07_notes.tex	Mon Dec 02 23:36:05 2013 +0100
+++ b/notes/tex/ue07_notes.tex	Mon Dec 02 23:41:32 2013 +0100
@@ -1,7 +1,7 @@
 \input{preamble.tex}
 \input{frames.tex}
 
-\title{Übung 7: Prädikatenlogik II}
+\title{Übung 7: Kalküle II \& Induktion}
 \subtitle{Diskrete Strukturen im Wintersemester 2013/2014}
 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
 
diff -r 010d8f7fa899 -r f386dfdaeade notes/ue07_notes.pdf
Binary file notes/ue07_notes.pdf has changed