Merge branches 'typos' and 'project_cleanup'
Merge branch 'master' of https://github.com/chrisittner/transfinite-methoden-SS2013
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