All topics added, much todo though

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}

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}

Public/thprog/SystemF_und_Reduktionsreihenfolge.tex

@@ -31,8 +31,6 @@
 									& dann\;rechtes\;pow\\
 									& dann\;linkes\;pow
 			\end{align*}
-		\section{Typherleitung}
-			\subsection{Regeln}