Index of /online/synquant16/haegeman/tmp

	Name	Last modified	Size	Description
	Parent Directory		-
	tipod.aux	30-Nov-2016 03:08	8
	tipod.dvi	30-Nov-2016 03:08	756
	tipod.tex	30-Nov-2016 03:08	740
	title.aux	30-Nov-2016 03:08	8
	title.dvi	30-Nov-2016 03:08	748
	title.tex	30-Nov-2016 03:08	740