From efc0f586edf2650953785af55f086136bc6e21a0 Mon Sep 17 00:00:00 2001
From: Julian Ospald <jospald@fh-bielefeld.de>
Date: Tue, 21 Apr 2015 13:46:08 +0200
Subject: [PATCH] Rm ADT section as discussed with Prof Gips

---
 VL1/VL1_document_structure.tex | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/VL1/VL1_document_structure.tex b/VL1/VL1_document_structure.tex
index d29f252..de2af15 100644
--- a/VL1/VL1_document_structure.tex
+++ b/VL1/VL1_document_structure.tex
@@ -84,22 +84,6 @@
 
 \slide{./content/VL1_pairs.tex}
 
-\subsection{Algebraic Data Types}
-
-\slide{./content/VL1_ADT1.tex}
-\slide{./content/VL1_ADT2.tex}[ (cnt.)]
-\slide{./content/VL1_ADT3.tex}[ (cnt.)]
-\slide{./content/VL1_ADT4.tex}[ (cnt.)]
-
-\subsubsection{Trees}
-
-\slide{./content/VL1_ADT5.tex}
-\slide{./content/VL1_ADT6.tex}[ (cnt.)]
-
-\subsubsection{ADTs generalized}
-
-\slide{./content/VL1_ADT7.tex}
-
 \section{Résumé}
 
 \slidetoc