initial commit
ein test
removed test
test
aufgeräumt
Vorlesung 21.10.13 (Vollständig)
typo
Fehler bei der Implikation korriegiert
Junktoren korrekt formatiert
Präambel modifiziert; Readme hinzugefügt. Details siehe readme.
Vl 28.10 hinzugefügt und kleine Änderungen an der Strucktur geändert
Update readme.txt
Auf Kommentar in der Readme geantwortet
VL vom 4.11.
added the new Skript (only pdf)
Update

Hab die Vorlesung von Montag getext, hab auch leichte Änderungen am
Layout vorgenommen, allerdings nur für meinen Teil. Wenn ihr das auch
so machen wollt, stehts im texfile in den Kommentaren ;)
Nix
New

New
sdf

sdf