Index of /~daria/ZPF/2022/Lab22/Lab5

	Name	Last modified	Size	Description
	Parent Directory		-
	plist.v	2022-04-11 20:10	1.7K
	coqITP2015_ex4_tuple.v	2022-04-11 20:15	2.1K
	PlanLab5.txt	2022-04-11 20:16	166