Index of /courses/semantics-20

	Name	Last modified	Size	Description
	Parent Directory		-
	style.css	2019-05-06 10:12	1.4K
	pagetree.xml	2020-11-19 10:15	378
	page.php	2019-05-06 10:12	841
	lectures/	2020-11-19 10:05	-
	exercises/	2020-11-19 10:08	-
	contents/	2020-11-19 10:47	-