Adding old stuff
Adding lots of stuff
New stuff
Wydaje mi sie ze sie nakrywa
Graficznie dobre zbiory
proofOfCovering prooves covering relations
Changes
Added Latex files
Cos