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

	Name	Last modified	Size	Description
	Parent Directory		-
	plist.v	2021-04-26 17:30	2.0K
	coqITP2015_ex4_tuple.v	2021-04-26 17:32	2.1K
	PlanLab5.txt	2021-04-26 17:32	166