# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1385977961 -3600
# Node ID f639b478a28b5ac1c818bf8f08ea0b29fa780c86
# Parent  f52078f78e6078ebc3e49b171235aa1db4da691b
typo

diff -r f52078f78e60 -r f639b478a28b notes/tex/logic.tex
--- a/notes/tex/logic.tex	Mon Nov 25 23:20:13 2013 +0100
+++ b/notes/tex/logic.tex	Mon Dec 02 10:52:41 2013 +0100
@@ -783,7 +783,7 @@
                 \setlength{\belowdisplayskip}{0pt}
                 \setlength{\abovedisplayskip}{0pt}
                 \begin{itemize}
-                        \item Grundbausteile
+                        \item Grundbausteine
                             \smallskip
                         \begin{align}
                             V = \left\{ a, b, \dots \right\} &\subseteq \logic\tag{\alert{Variablen}}\\