From d6ce457287f68a19fecdba2980107710983239ea Mon Sep 17 00:00:00 2001
From: Sheppy <jupiterfisch@web.de>
Date: Wed, 7 Oct 2015 23:00:28 +0200
Subject: [PATCH] 	new file:   PumpingLemma.tex 	modified:  
 SystemF.tex

---
 Vorlesungen/ThProg/PumpingLemma.tex | 15 +++++++++++++++
 Vorlesungen/ThProg/SystemF.tex      |  6 +++---
 2 files changed, 18 insertions(+), 3 deletions(-)
 create mode 100644 Vorlesungen/ThProg/PumpingLemma.tex

diff --git a/Vorlesungen/ThProg/PumpingLemma.tex b/Vorlesungen/ThProg/PumpingLemma.tex
new file mode 100644
index 0000000..acb5f71
--- /dev/null
+++ b/Vorlesungen/ThProg/PumpingLemma.tex
@@ -0,0 +1,15 @@
+	\documentclass{article}
+	\usepackage{amsmath}
+	\usepackage{nccmath}
+	\DeclareMathSizes{10}{10}{10}{10}
+	\setlength{\parindent}{0pt}
+	\title{Struckturelle Induktion}
+	\date{ }
+	\begin{document}
+	\maketitle
+	%----------------------------------%
+	
+	\begin{tiny}
+	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
+	\end{tiny}
+\end{document}
\ No newline at end of file
diff --git a/Vorlesungen/ThProg/SystemF.tex b/Vorlesungen/ThProg/SystemF.tex
index 3624ea6..e0d4330 100644
--- a/Vorlesungen/ThProg/SystemF.tex
+++ b/Vorlesungen/ThProg/SystemF.tex
@@ -64,7 +64,7 @@
 	d.h. wir w\"urden hier beim ersten Argument weitermachen und "mult" aufl\"osen
 	(beim zweiten g\"abe es gerade auch gar nichts mehr zu machen)
 
-	\subsection*{2) Typherleitung - SS14 Beispiel}	
+	\subsection*{2) Typherleitung}	
 		\textbf{Typherleitung f\"ur:}
 		\[
 			\{
@@ -143,8 +143,8 @@
 	- in (4) ???\\
 	- (4)(links) $\forall_{e}$ (rechts) $\rightarrow_e$\\
 	\end{small}	
-		
-		
+	\\
+	\textbf{Eine \"Ubersicht der Regeln findet sich in den \"Ubungsfolien oder dem SS14 Spickzettel!}