Index of /~daria/WWK12-13/Lab/Lab5

	Name	Last modified	Size	Description
	Parent Directory		-
	counter.smv	2013-03-21 23:42	396
	counter2.smv	2013-03-21 23:42	301
	mutex-synch.smv	2013-03-21 23:42	1.0K
	mutex.smv	2013-03-21 23:42	1.1K
	semaphore.smv	2013-03-21 23:42	757
	short.smv	2013-03-21 23:42	422
	short2.smv	2013-03-21 23:42	261
	winda.smv	2013-03-21 23:42	263