Index of /~daria/ZPF/2021/Lab21/Lab3

	Name	Last modified	Size	Description
	Parent Directory		-
	PlanLab3.txt	2021-04-12 20:45	333
	coqITP2015_ex2.v	2021-04-12 20:45	14K
	coqITP2015_ex3.v	2021-04-13 11:06	5.9K
	tactics_examples.v	2021-04-12 20:48	1.1K