Index of /~daria/ZPF/2024/Lab24/Lab5

	Name	Last modified	Size	Description
	Parent Directory		-
	plist.v	2024-03-02 20:39	1.7K
	coqITP2015_ex4_tuple.v	2024-03-02 20:39	2.2K
	PlanLab5.txt	2024-03-02 20:39	158