# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1373888763 -7200
# Node ID adcb0ab03aded41ad901b65afcd19be2684f5705
# Parent  25651c6dba7c590ae5f7e14cf1a7a9df94911aa9
fix wrong intuition, thanks max!

diff -r 25651c6dba7c -r adcb0ab03ade notes/complete_notes.pdf
Binary file notes/complete_notes.pdf has changed
diff -r 25651c6dba7c -r adcb0ab03ade notes/tex/computation.tex
--- a/notes/tex/computation.tex	Thu Jul 11 23:46:00 2013 +0200
+++ b/notes/tex/computation.tex	Mon Jul 15 13:46:03 2013 +0200
@@ -510,7 +510,7 @@
     \begin{itemize}
         \item $B$ ist \alert{mindestens so schwer} zu lösen wie $A$
         \item Ist $A$ unlösbar, dann auch $B$.
-        \item Ist $B$ unlösbar, dann erst recht $A$.
+        \item Ist $B$ lösbar, dann erst recht $A$.
     \end{itemize}
 \end{frame}
 }
diff -r 25651c6dba7c -r adcb0ab03ade notes/ue10_notes.pdf
Binary file notes/ue10_notes.pdf has changed