Wyklad nr 2, 12.03.2013
Zawijanie linii.
Merge pull request #1 from sapal/master

Dowód, że "TDW => S, K" i "TDN => S, K, N". Poprawione prawo Pierce'a.
Merge branch 'wyklad2' of github.com:adampolak/tpl

Conflicts:
	tpl.tex
Pełny dowód prawa Pierce'a
Wykład z 26.03
Wykład z 09.04

Brakuje kilku przykładów.
Wykład z 23.04.2013.