Index of /p/herbrandSEKI

	Name	Last modified	Size
	Parent Directory		-
	all.tex~	2011-06-29 17:26	118
	publish	2014-04-19 21:22	134
	all.tex	2014-04-19 18:50	153
	pdf.tex	2009-02-23 19:48	175
	pdf.ilg	2011-12-30 20:30	690
	all.ilg	2014-08-14 19:38	820
	publish~	2011-06-30 08:55	1.1K
	seki-Report-bib.bib	2009-03-03 14:35	1.6K
	all.blg	2011-11-20 16:19	2.6K
	macros.sty	2011-12-29 17:46	3.1K
	macros.sty~	2011-12-14 15:23	3.1K
	all.toc	2014-08-14 19:38	3.1K
	all.save.ind	2009-05-24 18:52	12K
	fixedindex.tex	2009-05-24 18:52	12K
	all.log	2014-08-14 19:38	12K
	pdf.ind	2011-12-30 20:30	12K
	all.ind	2014-08-14 19:38	14K
	herbrandbibliography.tex~	2014-04-19 20:13	15K
	herbrandbibliography.tex	2014-05-27 09:40	15K
	herbrand.jpg	2009-02-16 19:08	18K
	named.bst	2011-09-20 19:48	23K
	HerbrandPhotoI.eps.gz	2009-02-16 19:53	27K
	herbrand.eps.gz	2009-02-16 19:53	27K
	pdf.aux	2011-12-30 20:30	44K
	all.aux	2014-08-14 19:38	50K
	pdf.idx	2011-12-30 20:30	63K
	all.bbl	2011-11-20 16:19	76K
	references.tex~	2014-05-27 10:03	76K
	references.tex	2014-08-14 19:13	77K
	all.idx	2014-08-14 19:38	88K
	LoewenheimSkolemHerbrand-FinalBridgearXiv.eps.gz	2009-02-25 19:23	90K
	HerbrandPhotoII.jpg	2010-12-20 17:47	92K
	HerbrandPhotoIII.jpg	2010-12-20 23:43	169K
	body.tex~	2014-05-27 10:06	251K
	body.tex	2014-08-14 19:32	253K
	HerbrandPhotoII.eps.gz	2011-06-29 21:16	305K
	pdf.dvi	2011-12-30 20:30	365K
	all.dvi	2014-08-14 19:38	388K
	HerbrandPhotoIII.eps.gz	2011-06-29 21:20	536K
	pdf.pdf	2011-12-30 20:31	1.6M
	all.ps.gz	2014-08-14 19:38	3.0M
	all.pdf	2014-08-14 19:38	3.0M