Plan na czwarte laboratorium z Coqa:

Zadania na zależny pattern-matching --- definicje

1. Zadanie plist.v

2. Zadania z pliku coqITP2015-ex4-tuple.v