Plan Lab6

1. Zadania na typy zależne z coqITP2015-course4.v 

a) definicje - to było w zeszłym tygodniu
b) dowody używające transparentnych type-cast

1,5. Dowody uzywające UIP_refl (patrz vappend_assoc.v)
 
2. Zadanie zaliczeniowe z zeszłego roku w pliku zad2016.v

Zadanie zaliczeniowe na ten rok będzie ogłoszone za tydzień