small fixes

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*}

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)