Index of /Voevodsky/files/files-original/Dropbox/Unfinished_papers

	Name	Last modified	Size	Description
	Parent Directory		-
	Cubical/	2017-10-30 13:04	-
	Dynamic_logic/	2017-10-30 13:04	-
	Motives/	2017-10-30 13:04	-
	Probability/	2017-10-30 13:04	-
	Type_systems/	2017-10-30 13:04	-