Index of /courses/semantics-18

	Name	Last modified	Size	Description
	Parent Directory		-
	style.css	2017-08-16 13:05	1.4K
	pagetree.xml	2019-05-06 09:22	380
	page.php	2017-08-16 13:04	841
	lectures/	2019-05-06 09:31	-
	exercises/	2019-05-06 09:32	-
	contents/	2019-05-06 09:45	-