Index of /~daria/ZPF/2017/Lab17/Lab2

	Name	Last modified	Size	Description
	Parent Directory		-
	CoqSurvivalKit.pdf	2017-03-06 23:09	385K
	PlanLab2.txt	2017-03-06 23:09	309
	Rlogika.v	2017-03-06 23:11	709
	coqITP2015-ex1.v	2017-03-06 23:09	3.2K
	logikaCPDT.v	2017-03-06 23:09	693