Index of /p/herbrandSEKI

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