Index of /jeremy/public_html/pubs/fill/git/itp2014

	Name	Last modified	Size	Description
	Parent Directory		-
	apx.tex	2014-03-04 18:15	33K
	cats.tex	2014-03-04 18:15	5.8K
	deep.tex	2014-03-04 18:15	11K
	dl.tex	2014-03-04 18:15	7.1K
	eqcatsdl.tex	2014-03-04 18:15	1.6K
	eqdlshallow.tex	2014-03-04 18:15	9.8K
	eqshallowdeep.tex	2014-03-04 18:15	16K
	further.tex	2014-03-04 18:15	240
	general.tex	2014-03-04 18:15	17K
	gl-stuff.tex	2014-03-04 18:15	56K
	intro.tex	2014-03-04 18:15	23K
	keep.tex	2014-03-04 18:15	4.2K
	related.tex	2014-03-04 18:15	2.0K
	root.bbl	2015-05-25 13:11	3.5K
	root.bib	2014-03-04 18:15	17K
	root.dvi	2015-05-25 13:11	75K
	root.tex	2014-03-26 15:37	10K
	shallow.tex	2014-03-04 18:15	12K
	soundness.tex	2014-03-04 18:15	9.3K