Index of /~daria/ZPF/2023/Lab23/Lab5

	Name	Last modified	Size	Description
	Parent Directory		-
	PlanLab5.txt	2023-04-17 20:28	158
	plist.v	2023-04-17 20:28	1.7K
	coqITP2015_ex4_tuple.v	2023-04-17 20:28	2.2K