Index of /pub/users/gc/eneia/tcs17

	Name	Last modified	Size	Description
	Parent Directory		-
	readme.pdf	2017-08-10 19:24	174K
	Lmr.hs	2017-08-10 19:24	7.7K
	Lmb.hs	2017-08-10 19:24	14K
	Lmc.hs	2017-08-10 19:24	19K
	Lmr2/	2017-08-11 08:59	-