Plan Lab5

1. Zadania na typy zależne z coqITP2015-course4.v 
a) definicje
b) dowody używające transparentnych type-cast

1,5. Dowody uzywające UIP_refl (patrz vappend_assoc.v)
 
2. Zadanie zaliczeniowe w pliku zal.v

Termin oddania emailem na adres daria@mimuw.edu.pl 9 maja 2016

W załaczniku powinien być plik Nazwisko_zal.v z uzupełnionymi
definicjami, dowodami.

Zrobienie części zależnej (na vector) zwalnia z robienia części
"Podwójny filterL".