Index of /courses/semantics-16

	Name	Last modified	Size	Description
	Parent Directory		-
	style.css	2016-07-29 13:43	1.4K
	page.php	2016-07-29 13:45	841
	pagetree.xml	2016-07-29 14:01	426
	lectures/	2016-07-29 14:07	-
	exercises/	2016-07-29 14:05	-
	contents/	2016-07-29 14:03	-