Index of /user/awodey/dump/Sets

	Name	Last modified	Size	Description
	Parent Directory		-
	notes.ps	2023-09-30 04:10	332K
	notes.tex	2023-09-30 04:10	87K
	old/	2023-09-30 04:10	-