Plan na czwarte laboratorium z Coqa:

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

1. Zadanie plist.v, a raczej jego ostatnia część: implementacja funkcji grab

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

3. Definicje dotyczące wektorów z pliku coqITP2015-ex4-vect-def.v