Index of /courses/semantics-22

	Name	Last modified	Size	Description
	Parent Directory		-
	style.css	2019-05-06 10:12	1.4K
	page.php	2019-05-06 10:12	841
	pagetree.xml	2022-09-15 09:46	378
	lectures/	2022-09-15 10:41	-
	exercises/	2022-09-15 10:49	-
	contents/	2022-09-15 10:54	-