From df6e4daed0be784037217d3b43127571361b8d3c Mon Sep 17 00:00:00 2001
From: Sheppy <jupiterfisch@web.de>
Date: Fri, 9 Oct 2015 15:20:44 +0200
Subject: [PATCH] small fixes

---
 Vorlesungen/ThProg/Konfluenz.tex              | 4 ++--
 Vorlesungen/ThProg/Strukturelle_Induktion.tex | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Vorlesungen/ThProg/Konfluenz.tex b/Vorlesungen/ThProg/Konfluenz.tex
index 3dd82f9..6b3b3ce 100644
--- a/Vorlesungen/ThProg/Konfluenz.tex
+++ b/Vorlesungen/ThProg/Konfluenz.tex
@@ -46,7 +46,7 @@
 			\end{align*}
 		\textbf{damit:}
 			\[
-				mgu = [\;y \mapsto u\,,\;z \mapsto (\,u;\Uparrow\;w\,)\;]
+				mgu = [\;y \mapsto u\,,\;z \mapsto (\,u\;\Uparrow\;w\,)\;]
 			\]
 		\textbf{und die mit dem MGU substituierte Seite $l_1$:}\\
 			\begin{align*}
@@ -75,4 +75,4 @@
 	\begin{tiny}
 	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
 	\end{tiny}
-\end{document}
\ No newline at end of file
+\end{document}
diff --git a/Vorlesungen/ThProg/Strukturelle_Induktion.tex b/Vorlesungen/ThProg/Strukturelle_Induktion.tex
index 0799033..f621479 100644
--- a/Vorlesungen/ThProg/Strukturelle_Induktion.tex
+++ b/Vorlesungen/ThProg/Strukturelle_Induktion.tex
@@ -34,7 +34,7 @@
 	\end{align*}
 	\textbf{Induktionshypothese/-voraussetzeung (IH/IV):}\\\\
 	- $xs$ durch allgemeines as ersetzen
-	\[as+(Cons\;e\;ys) = (snoc\;as\;e)+ys\]
+	\[\forall\,e\,ys\,.\;as+(Cons\;e\;ys) = (snoc\;as\;e)+ys\]
 \newpage
 	\textbf{Induktionsschritt (IS):}\\\\
 	$xs\;=\;Cons\;a\;as$\\$\Rightarrow$ Einsetzen und wieder beide Seiten maximal vereinfachen,auf einer Seite die Induktionshypothese reinfrikeln (idR. nur auf einer Seite,z.B. auf der linken)
@@ -49,4 +49,4 @@
 	\begin{tiny}
 	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
 	\end{tiny}
-\end{document}
\ No newline at end of file
+\end{document}