Index of /~daria/ZPF/2019/Lab19/Lab2

	Name	Last modified	Size	Description
	Parent Directory		-
	CoqSurvivalKit.pdf	2019-03-18 19:25	385K
	PlanLab2.txt	2019-03-18 22:07	354
	coqITP2015-ex1.v	2019-03-18 19:22	3.0K
	functions.v	2019-03-18 19:22	1.2K
	logic.v	2019-03-18 19:22	1.0K