From 77effc3e8799f9f36cab772b9521a8d762213c7e Mon Sep 17 00:00:00 2001
From: Sheppy <jupiterfisch@web.de>
Date: Tue, 6 Oct 2015 16:49:42 +0200
Subject: [PATCH] All topics added, much todo though

---
 Public/thprog/Konfluenz.tex                   | 49 +++++++++++++++++++
 Public/thprog/Strukturelle Induktion.tex      | 19 +++++++
 .../SystemF_und_Reduktionsreihenfolge.tex     |  2 -
 3 files changed, 68 insertions(+), 2 deletions(-)
 create mode 100644 Public/thprog/Konfluenz.tex
 create mode 100644 Public/thprog/Strukturelle Induktion.tex

diff --git a/Public/thprog/Konfluenz.tex b/Public/thprog/Konfluenz.tex
new file mode 100644
index 0000000..22cd5f0
--- /dev/null
+++ b/Public/thprog/Konfluenz.tex
@@ -0,0 +1,49 @@
+	\documentclass{article}
+	\usepackage{amsmath}
+	\usepackage{nccmath}
+	\DeclareMathSizes{10}{10}{10}{10}
+	\setlength{\parindent}{0pt}
+	\title{Konfluenz}
+	\date{ }
+	\begin{document}
+	\maketitle
+		\section{Matching Table:}
+			Formeln:
+			\begin{align}
+				x \Uparrow ( y \Uparrow z) & \rightarrow_{0}
+					\; x \Uparrow (y \Downarrow y)
+				\\				
+				x \Downarrow ( x \Downarrow y ) & \rightarrow_0
+					\; x \Downarrow y
+			\end{align}
+			- alle Regeln m\"ussen gegen alle anderen gematched werden 
+			daher f\"ur \"ubersichtlichkeit:\\ \\
+			\begin{tabular}{l c r}
+				  & 1 & 2 \\
+				1 & ? & ? \\
+				2 & ? & ? \\
+			\end{tabular}		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+	\begin{tiny}
+	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
+	\end{tiny}
+\end{document}
\ No newline at end of file
diff --git a/Public/thprog/Strukturelle Induktion.tex b/Public/thprog/Strukturelle Induktion.tex
new file mode 100644
index 0000000..c6bc86e
--- /dev/null
+++ b/Public/thprog/Strukturelle Induktion.tex	
@@ -0,0 +1,19 @@
+	\documentclass{article}
+	\usepackage{amsmath}
+	\usepackage{nccmath}
+	\DeclareMathSizes{10}{10}{10}{10}
+	\setlength{\parindent}{0pt}
+	\title{Konfluenz}
+	\date{ }
+	\begin{document}
+	\maketitle
+		\textbf{Referenzaufgabe:} \\
+		\\
+		\begin{align*}
+			snoc\;Nil\;a 			&= Cons\;a\;Nil
+			snoc(Cons\;x\;xs)\;a	&= Cons\;x(snoc\;xs\;a)
+		\end{align*}
+	\begin{tiny}
+	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
+	\end{tiny}
+\end{document}
\ No newline at end of file
diff --git a/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex b/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex
index f818415..85c5a24 100644
--- a/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex
+++ b/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex
@@ -31,8 +31,6 @@
 									& dann\;rechtes\;pow\\
 									& dann\;linkes\;pow
 			\end{align*}
-		\section{Typherleitung}
-			\subsection{Regeln}