typos für Vorlesung vom 13.06 korrigiert

* \nlhd eingeführt
* Definiton von Unabhängigkeit
* andere, kleinere typos
typos für 20.06.2013 korrigiert (\and -> \land; kleinere Rechtschreibfehler; Formatierung; Datumslabel ergänzt)
title "PD" from author name removed
Merge pull request #5 from kulla/typos

Typos
11. juli, 1. hälfte
11. Juli, 2. Teil
blub
blub
phinal!