Index of /Voevodsky/files/files-annotated/Dropbox/Unfinished_papers/Type_systems

	Name	Last modified	Size	Description
	Parent Directory		-
	New_HTS/	2018-02-14 14:03	-
	Notes_on_Type_Systems/	2018-02-14 14:03	-
	Old_Notes_on_Type_Sy..>	2018-02-14 14:03	-
	UPTS_current/	2018-02-14 14:03	-
	Universe_Polymorphic..>	2018-02-14 14:03	-