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

	Name	Last modified	Size	Description
	Parent Directory		-
	indukcja.v	2018-04-09 21:59	527
	RcoqITP2015-ex3.v	2018-04-09 22:01	10K
	PlanLab4.txt	2018-04-09 21:55	309
	OneSortStackMachine.v	2018-04-09 22:00	4.0K
	MultiSortStackMachine.v	2018-04-09 22:00	5.1K