Index of /p/henkinsolve

	Name	Last modified	Size
	Parent Directory		-
	pdf.pdf	2011-06-07 20:12	782K
	all.ps.gz	2011-06-07 20:11	621K
	all.dvi	2011-06-13 19:43	368K
	body.tex	2011-06-13 19:43	307K
	named.bst	2011-06-13 19:42	23K
	pdf.bbl	2011-06-07 20:12	14K
	all.bbl	2011-06-07 20:12	14K
	pdf.toc	2011-06-07 20:12	4.3K
	all.toc	2011-06-13 19:43	4.3K
	bib.bib	2017-04-19 21:35	1.8K
	publish	2011-06-13 19:43	1.6K
	pdf.blg	2011-06-07 20:12	1.1K
	all.blg	2011-06-07 20:12	1.1K
	journalversion.bib	2017-04-19 21:46	567
	pdf.tex	2011-06-07 20:12	221
	all.tex	2011-06-07 20:12	185
	talks/	2015-06-18 20:21	-
	arXiv/	2011-11-29 15:03	-
	Slater/	2017-04-19 21:35	-