Index of /p/KrV

	Name	Last modified	Size
	Parent Directory		-
	publish~	2022-01-05 22:19	87
	publish	2022-01-26 18:39	123
	named.bst	2008-03-22 11:15	23K
	all.toc	2022-01-30 15:01	2.9K
	all.tex~	2022-01-29 12:22	238K
	all.tex	2022-01-30 15:01	238K
	all.ps.gz	2022-01-30 15:02	1.2M
	all.pdf	2022-01-30 15:01	1.0M
	all.log	2022-01-30 15:01	29K
	all.intensional.toc	2022-01-26 19:17	8.0K
	all.intensional.tex	2022-01-26 18:58	204K
	all.intensional.log	2022-01-26 19:17	34K
	all.intensional.dvi	2022-01-26 19:17	247K
	all.intensional.blg	2022-01-26 19:17	1.1K
	all.intensional.bbl	2022-01-26 19:17	14K
	all.intensional.aux	2022-01-26 19:17	19K
	all.dvi	2022-01-30 15:01	271K
	all.blg	2022-01-30 15:01	1.1K
	all.bbl	2022-01-30 15:01	19K
	all.aux	2022-01-30 15:01	15K
	README	2022-01-26 19:12	402