Index of /jeremy/public_html/pubs/interp/itp

	Name	Last modified	Size	Description
	Parent Directory		-
	app.tex	2012-02-16 12:25	12K
	bib.tex	2012-02-10 15:43	2.0K
	defs.tex	2012-02-07 14:59	1.3K
	exptrees.sty	2012-02-06 10:56	78K
	interp.tex	2012-02-13 17:05	49K
	jb_sec2.tex	2012-02-13 16:32	16K
	prooftree.tex	2012-02-13 09:26	12K
	root.bib	2012-02-10 15:41	1.4K
	root.dvi	2012-06-21 18:30	85K
	root.pdf	2015-12-24 10:19	232K
	root.tex	2012-02-13 16:23	3.1K