Index of /~daria/WWK13-14/Lab/Lab5

	Name	Last modified	Size	Description
	Parent Directory		-
	counter.smv	2014-03-20 23:26	393
	counter2.smv	2014-03-20 23:26	463
	mutex-synch.smv	2014-03-20 23:26	1.0K
	mutex.smv	2014-03-20 23:26	1.1K
	semaphore.smv	2014-03-20 23:26	753
	short.smv	2014-03-20 23:26	412
	short2.smv	2014-03-20 23:26	261
	winda.smv	2014-03-20 23:26	263