Index of /~daria/ZPF/2018/Lab18/Lab5

	Name	Last modified	Size	Description
	Parent Directory		-
	PlanLab5.txt	2018-04-16 17:07	155
	RMultiSortStackMachine.v	2018-04-17 10:42	7.8K
	coqITP2015-ex4-tuple.v	2018-04-16 17:07	2.1K
	plist.v	2018-04-16 17:07	1.9K