Index of /courses/semantics-17

	Name	Last modified	Size	Description
	Parent Directory		-
	style.css	2017-08-16 13:05	1.4K
	page.php	2017-08-16 13:04	841
	pagetree.xml	2017-08-16 13:07	426
	lectures/	2017-08-16 13:12	-
	exercises/	2017-08-16 13:11	-
	contents/	2017-08-16 13:09	-