Unnötigen Punkt entfernt

2018-10-05 14:58:38 +02:00
parent a25c568deb
commit 18acfc5469
2 changed files with 0 additions and 1 deletions
--- a/merkzettel.pdf
+++ b/merkzettel.pdf
--- a/merkzettel.tex
+++ b/merkzettel.tex
@@ -201,7 +201,6 @@ f_1 \times f_2 &= \langle f_1 \circ\pi_1, f_2\circ\pi_2\rangle\\
 	\end{align*}
 	\item Wenn $R$ eine Bisimulation ist, gilt $sRt \Rightarrow s=t$ \satz{4.40}{74}
 \end{itemize}
-\subsection*{Kodatentypen mit Alternativen}
 \section*{System F}
 \subsection*{Curry}
 \begin{itemize}