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

	Name	Last modified	Size	Description
	Parent Directory		-
	plist.v	2022-04-04 22:08	1.7K
	MultiSortStackMachine.v	2022-04-04 22:08	5.1K
	OneSortStackMachine.v	2022-04-04 22:08	4.0K
	induction.v	2022-04-04 22:08	1.7K
	PlanLab4.txt	2022-04-04 22:08	209