Blatt 5: Dateien angelegt.
mystyle.stye geändert.

\gdw ist nun ein Relationsoperator und daher besser eingerückt.
Blatt 5: Aufgabe 2 getippt.
mystyle.sty geändert.

\impl ist nun ein Relationsoperator.
Blatt 5: Aufgabe 3 getippt.