Index of /~daria/ZPF/2020/Lab20/Lab2

	Name	Last modified	Size	Description
	Parent Directory		-
	CoqSurvivalKit.pdf	2020-03-17 10:14	385K
	PlanLab2.txt	2020-03-16 19:44	354
	coqITP2015_ex1.v	2020-03-16 19:44	3.0K
	functions.v	2020-03-16 19:44	1.2K
	logic.v	2020-03-16 19:44	1.3K