cv08: formula.py, tableau.py, builder.py, cv08test.py
cv08: tableau.py: s/_first_line/label/
cv08: Nove testy v cv08test.py

Testovanie typov a znackovanych podformul.
Testovanie konzistentnosti tabla.
cv08: zabudnuta testovacia podmienka v cv08test.py
cv08: zadanie
cv08: pridany hint pre ekvivalenciu
cv08: vymenene poraddie signed formul, male fixy
cv08/builder.py: cislovanie od 1
cv08: krajsie debug vypisy pre tableau.Node
cv08: prepinac na zobrazovanie aj PASSED tabiel
cv08: pridane nejake testy bez ekvivalencie
cv08: trailing whitespace
cv08: kontrola uplnosti tabla
pridane cv08
cv08: este nejake jednoduche testy